src/HOL/ex/ROOT.ML
changeset 18678 dd0c569fa43d
parent 18408 07da804d1119
child 19022 0e6ec4fd204c
     1.1 --- a/src/HOL/ex/ROOT.ML	Fri Jan 13 17:39:41 2006 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Sat Jan 14 17:14:06 2006 +0100
     1.3 @@ -45,7 +45,7 @@
     1.4  if_svc_enabled time_use_thy "svc_test";
     1.5  
     1.6  (* requires zChaff with proof generation to be installed: *)
     1.7 -time_use_thy "SAT_Examples" handle ERROR => ();
     1.8 +try time_use_thy "SAT_Examples";
     1.9  
    1.10  (* requires zChaff (or some other reasonably fast SAT solver) to be installed: *)
    1.11  if getenv "ZCHAFF_HOME" <> "" then