Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/datatype_codegen.ML
changeset 17261 193b84a70ca4
parent 17144 6642e0f96f44
child 17412 e26cb20ef0cc 
--- a/src/HOL/Tools/datatype_codegen.ML	Mon Sep 05 17:38:17 2005 +0200
+++ b/src/HOL/Tools/datatype_codegen.ML	Mon Sep 05 17:38:18 2005 +0200
@@ -281,7 +281,7 @@
  |  _ => NONE);
 
 fun datatype_tycodegen thy defs gr dep module brack (Type (s, Ts)) =
-      (case Symtab.lookup (DatatypePackage.get_datatypes thy, s) of
+      (case Symtab.curried_lookup (DatatypePackage.get_datatypes thy) s of
          NONE => NONE
        | SOME {descr, ...} =>
            if isSome (get_assoc_type thy s) then NONE else
isabelle