1.1 --- a/src/HOL/Tools/meson.ML	Sat Jul 21 17:40:40 2007 +0200
     1.2 +++ b/src/HOL/Tools/meson.ML	Sat Jul 21 23:25:00 2007 +0200
     1.3 @@ -575,7 +575,7 @@
     1.4  
     1.5  (*First, breaks the goal into independent units*)
     1.6  val safe_best_meson_tac =
     1.7 -     SELECT_GOAL (TRY Safe_tac THEN
     1.8 +     SELECT_GOAL (TRY (CLASET safe_tac) THEN
     1.9                    TRYALL (best_meson_tac size_of_subgoals));
    1.10  
    1.11  (** Depth-first search version **)