remove debug output
authorblanchet
Tue Jun 01 15:43:20 2010 +0200 (2010-06-01)
changeset 372659f2c3d3c8f0f
parent 37264 8b931fb51cc6
child 37266 773dc74118f6
remove debug output
src/HOL/Tools/Nitpick/nitpick_model.ML
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_model.ML	Tue Jun 01 15:38:47 2010 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_model.ML	Tue Jun 01 15:43:20 2010 +0200
     1.3 @@ -608,7 +608,6 @@
     1.4        | term_for_rep maybe_opt seen (Type (@{type_name fun}, [T1, T2])) T'
     1.5                       (Func (R1, Formula Neut)) jss =
     1.6          let
     1.7 -val _ = priority ("HERE: " ^ (if maybe_opt then "y" else "n")) (* ### *)
     1.8            val jss1 = all_combinations_for_rep R1
     1.9            val ts1 = map (term_for_rep true seen T1 T1 R1 o single) jss1
    1.10            val ts2 =