src/FOL/simpdata.ML
changeset 7570 a9391550eea1
parent 7355 4c43090659ca
child 8472 50a653f8b8ea
--- a/src/FOL/simpdata.ML	Tue Sep 21 19:10:39 1999 +0200
+++ b/src/FOL/simpdata.ML	Tue Sep 21 19:11:07 1999 +0200
@@ -325,8 +325,8 @@
 (*No simprules, but basic infastructure for simplification*)
 val FOL_basic_ss = empty_ss setsubgoaler asm_simp_tac
                             addsimprocs [defALL_regroup,defEX_regroup]
-			    setSSolver   safe_solver
-			    setSolver  unsafe_solver
+			    setSSolver  (mk_solver "FOL safe" safe_solver)
+			    setSolver  (mk_solver "FOL unsafe" unsafe_solver)
 			    setmksimps (mksimps mksimps_pairs);