src/Pure/sign.ML

--- a/src/Pure/sign.ML	Mon Aug 29 16:18:03 2005 +0200
+++ b/src/Pure/sign.ML	Mon Aug 29 16:18:04 2005 +0200
@@ -327,7 +327,7 @@
   let
     fun f' x = let val y = f x in if x = y then NONE else SOME (x, y) end;
     val tab = List.mapPartial f' (add_names (t, []));
-    fun get x = if_none (assoc_string (tab, x)) x;
+    fun get x = if_none (AList.lookup (op =) tab x) x;
   in get end;
 
 fun typ_mapping f g thy T =