src/Pure/simplifier.ML

--- a/src/Pure/simplifier.ML	Wed Dec 06 21:19:03 2006 +0100
+++ b/src/Pure/simplifier.ML	Thu Dec 07 00:42:04 2006 +0100
@@ -166,7 +166,7 @@
       (if safe then solvers else unsafe_solvers));
 
     fun simp_loop_tac i =
-      asm_rewrite_goal_tac mode (solve_all_tac unsafe_solvers) ss i THEN
+      Goal.asm_rewrite_goal_tac mode (solve_all_tac unsafe_solvers) ss i THEN
       (solve_tac i ORELSE TRY ((loop_tac THEN_ALL_NEW simp_loop_tac) i));
   in simp_loop_tac end;