
diff -r 2eef5e71edd6 -r d2d7874648bd src/Sequents/S43.thy
--- a/src/Sequents/S43.thy	Mon Mar 16 17:51:24 2009 +0100
+++ b/src/Sequents/S43.thy	Mon Mar 16 18:24:30 2009 +0100
@@ -92,8 +92,8 @@
 
 
 method_setup S43_solve = {*
-  Method.no_args (SIMPLE_METHOD
-    (S43_Prover.solve_tac 2 ORELSE S43_Prover.solve_tac 3))
+  Scan.succeed (K (SIMPLE_METHOD
+    (S43_Prover.solve_tac 2 ORELSE S43_Prover.solve_tac 3)))
 *} "S4 solver"
 
 




