diff -r d6ce35a1c386 -r e7f7ed4c06f2 src/Pure/Syntax/printer.ML
--- a/src/Pure/Syntax/printer.ML	Fri May 21 21:21:51 2004 +0200
+++ b/src/Pure/Syntax/printer.ML	Fri May 21 21:22:10 2004 +0200
@@ -65,7 +65,7 @@
 
 fun simple_ast_of (Const (c, _)) = Ast.Constant c
   | simple_ast_of (Free (x, _)) = Ast.Variable x
-  | simple_ast_of (Var (xi, _)) = Ast.Variable (Lexicon.string_of_vname xi)
+  | simple_ast_of (Var (xi, _)) = Ast.Variable (Term.string_of_vname xi)
   | simple_ast_of (t as _ $ _) =
       let val (f, args) = strip_comb t in
         Ast.mk_appl (simple_ast_of f) (map simple_ast_of args)