src/Pure/Isar/method.ML

--- a/src/Pure/Isar/method.ML	Thu Sep 01 16:19:02 2005 +0200
+++ b/src/Pure/Isar/method.ML	Thu Sep 01 18:48:50 2005 +0200
@@ -560,7 +560,7 @@
         val ((raw_name, _), pos) = Args.dest_src src;
         val name = NameSpace.intern space raw_name;
       in
-        (case Symtab.lookup (meths, name) of
+        (case Symtab.curried_lookup meths name of
           NONE => error ("Unknown proof method: " ^ quote name ^ Position.str_of pos)
         | SOME ((mth, _), _) => transform_failure (curry METHOD_FAIL (name, pos)) (mth src))
       end;