changeset 23536 | 60a1672e298e |
parent 23086 | 12320f6e2523 |
child 23598 | e03a43b8178c |
--- a/src/Pure/simplifier.ML Tue Jul 03 17:17:09 2007 +0200 +++ b/src/Pure/simplifier.ML Tue Jul 03 17:17:11 2007 +0200 @@ -260,7 +260,7 @@ (rev (if safe then solvers else unsafe_solvers))); fun simp_loop_tac i = - Goal.asm_rewrite_goal_tac mode (solve_all_tac unsafe_solvers) ss i THEN + 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;