src/HOL/Tools/datatype_codegen.ML

              | _ => NONE)
            end)
  |  _ => NONE);
 
 fun datatype_tycodegen thy defs gr dep module brack (Type (s, Ts)) =
-      (case Symtab.curried_lookup (DatatypePackage.get_datatypes thy) s of
+      (case Symtab.lookup (DatatypePackage.get_datatypes thy) s of
          NONE => NONE
        | SOME {descr, ...} =>
            if isSome (get_assoc_type thy s) then NONE else
            let
              val (gr', ps) = foldl_map