src/HOL/Tools/meson.ML
changeset 10821 dcb75538f542
parent 9869 95dca9f991f2
child 12299 2c76042c3b06
--- a/src/HOL/Tools/meson.ML	Sun Jan 07 21:40:49 2001 +0100
+++ b/src/HOL/Tools/meson.ML	Sun Jan 07 21:41:56 2001 +0100
@@ -383,7 +383,8 @@
 local
 
 fun meson_meth ctxt =
-  Method.SIMPLE_METHOD' HEADGOAL (CHANGED o meson_claset_tac (Classical.get_local_claset ctxt));
+  Method.SIMPLE_METHOD' HEADGOAL
+    (CHANGED_PROP o meson_claset_tac (Classical.get_local_claset ctxt));
 
 in