src/Pure/simplifier.ML

--- a/src/Pure/simplifier.ML	Wed Jun 26 18:38:03 2013 +0200
+++ b/src/Pure/simplifier.ML	Wed Jun 26 21:48:23 2013 +0200
@@ -220,7 +220,7 @@
     fun simp_loop_tac i =
       Raw_Simplifier.generic_rewrite_goal_tac mode (solve_all_tac unsafe_solvers) ctxt i THEN
       (solve_tac i ORELSE TRY ((loop_tac THEN_ALL_NEW simp_loop_tac) i));
-  in SELECT_GOAL (simp_loop_tac 1) end;
+  in PREFER_GOAL (simp_loop_tac 1) end;
 
 local