remove debugging code
authorblanchet
Fri Apr 23 16:59:48 2010 +0200 (2010-04-23)
changeset 3637419c0c4b8b445
parent 36373 66af0a49de39
child 36375 2482446a604c
remove debugging code
src/HOL/Tools/refute.ML
     1.1 --- a/src/HOL/Tools/refute.ML	Fri Apr 23 16:55:51 2010 +0200
     1.2 +++ b/src/HOL/Tools/refute.ML	Fri Apr 23 16:59:48 2010 +0200
     1.3 @@ -1357,7 +1357,6 @@
     1.4      val subst_t = Term.subst_bounds (map Free frees, strip_t)
     1.5    in
     1.6      find_model thy (actual_params thy params) assm_ts subst_t true
     1.7 -    handle REFUTE (s, s') => error ("REFUTE " ^ s ^ " " ^ s') (* ### *)
     1.8    end;
     1.9  
    1.10  (* ------------------------------------------------------------------------- *)