src/Pure/simplifier.ML

--- a/src/Pure/simplifier.ML	Tue Aug 19 16:46:07 2014 +0200
+++ b/src/Pure/simplifier.ML	Tue Aug 19 17:00:44 2014 +0200
@@ -374,7 +374,7 @@
   Method.setup @{binding simp_all}
     (simp_method more_mods (fn ctxt => fn tac => fn facts =>
       ALLGOALS (Method.insert_tac facts) THEN
-        (CHANGED_PROP o PARALLEL_GOALS o ALLGOALS o tac) ctxt))
+        (CHANGED_PROP o PARALLEL_ALLGOALS o tac) ctxt))
     "simplification (all goals)";
 
 fun easy_setup reflect trivs = method_setup [] #> Context.theory_map (map_ss (fn ctxt0 =>