src/Pure/Thy/thy_parse.ML

--- a/src/Pure/Thy/thy_parse.ML	Thu Sep 01 16:19:02 2005 +0200
+++ b/src/Pure/Thy/thy_parse.ML	Thu Sep 01 18:48:50 2005 +0200
@@ -469,7 +469,7 @@
   end;
 
 fun sect tab ((Keyword, s, n) :: toks) =
-      (case Symtab.lookup (tab, s) of
+      (case Symtab.curried_lookup tab s of
         SOME parse => !! parse toks
       | NONE => syn_err "section" s n)
   | sect _ ((_, s, n) :: _) = syn_err "section" s n