src/HOL/Tools/datatype_codegen.ML
changeset 17261 193b84a70ca4
parent 17144 6642e0f96f44
child 17412 e26cb20ef0cc
     1.1 --- a/src/HOL/Tools/datatype_codegen.ML	Mon Sep 05 17:38:17 2005 +0200
     1.2 +++ b/src/HOL/Tools/datatype_codegen.ML	Mon Sep 05 17:38:18 2005 +0200
     1.3 @@ -281,7 +281,7 @@
     1.4   |  _ => NONE);
     1.5  
     1.6  fun datatype_tycodegen thy defs gr dep module brack (Type (s, Ts)) =
     1.7 -      (case Symtab.lookup (DatatypePackage.get_datatypes thy, s) of
     1.8 +      (case Symtab.curried_lookup (DatatypePackage.get_datatypes thy) s of
     1.9           NONE => NONE
    1.10         | SOME {descr, ...} =>
    1.11             if isSome (get_assoc_type thy s) then NONE else