src/Tools/atomize_elim.ML

--- a/src/Tools/atomize_elim.ML	Fri Mar 13 19:53:09 2009 +0100
+++ b/src/Tools/atomize_elim.ML	Fri Mar 13 19:58:26 2009 +0100
@@ -132,7 +132,7 @@
     end)
 
 val setup = Method.add_methods
-  [("atomize_elim", Method.ctxt_args (Method.SIMPLE_METHOD' o atomize_elim_tac),
+  [("atomize_elim", Method.ctxt_args (SIMPLE_METHOD' o atomize_elim_tac),
     "convert obtains statement to atomic object logic goal")]
   #> AtomizeElimData.setup