src/Pure/sign.ML
changeset 17184 3d80209e9a53
parent 17102 a83a80f1c8dd
child 17204 6f0f8b6cd3f3
     1.1 --- a/src/Pure/sign.ML	Mon Aug 29 16:18:03 2005 +0200
     1.2 +++ b/src/Pure/sign.ML	Mon Aug 29 16:18:04 2005 +0200
     1.3 @@ -327,7 +327,7 @@
     1.4    let
     1.5      fun f' x = let val y = f x in if x = y then NONE else SOME (x, y) end;
     1.6      val tab = List.mapPartial f' (add_names (t, []));
     1.7 -    fun get x = if_none (assoc_string (tab, x)) x;
     1.8 +    fun get x = if_none (AList.lookup (op =) tab x) x;
     1.9    in get end;
    1.10  
    1.11  fun typ_mapping f g thy T =