src/Pure/sorts.ML
changeset 17184 3d80209e9a53
parent 17155 e904580c3ee0
child 17221 6cd180204582
     1.1 --- a/src/Pure/sorts.ML	Mon Aug 29 16:18:03 2005 +0200
     1.2 +++ b/src/Pure/sorts.ML	Mon Aug 29 16:18:04 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 Library.assoc_string (Symtab.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);