src/Pure/sorts.ML
changeset 17412 e26cb20ef0cc
parent 17221 6cd180204582
child 17756 d4a35f82fbb4
     1.1 --- a/src/Pure/sorts.ML	Thu Sep 15 17:16:55 2005 +0200
     1.2 +++ b/src/Pure/sorts.ML	Thu Sep 15 17:16:56 2005 +0200
     1.3 @@ -180,7 +180,7 @@
     1.4  fun mg_domain (classes, arities) a S =
     1.5    let
     1.6      fun dom c =
     1.7 -      (case AList.lookup (op =) (Symtab.curried_lookup_multi arities a) c of
     1.8 +      (case AList.lookup (op =) (Symtab.lookup_multi arities a) c of
     1.9          NONE => raise DOMAIN (a, c)
    1.10        | SOME Ss => Ss);
    1.11      fun dom_inter c Ss = ListPair.map (inter_sort classes) (dom c, Ss);