src/Pure/Syntax/ast.ML

--- a/src/Pure/Syntax/ast.ML	Tue Nov 26 16:18:42 1996 +0100
+++ b/src/Pure/Syntax/ast.ML	Tue Nov 26 16:26:06 1996 +0100
@@ -173,7 +173,7 @@
 struct
   val empty = [];
   val add = op ::;
-  val get = the o assoc;
+  fun get (alist,x) = the (assoc (alist,x));
 end;