# HG changeset patch
# User wenzelm
# Date 859812133 -7200
# Node ID f1cd1ad27588d9bf9104d45bbf064d644c772435
# Parent  6226b83ce2d85dd0865085419e61a9ab3645da79
simple_ast_of: fixed handling of loose Bounds;

diff -r 6226b83ce2d8 -r f1cd1ad27588 src/Pure/Syntax/printer.ML
--- a/src/Pure/Syntax/printer.ML	Sun Mar 30 13:40:38 1997 +0200
+++ b/src/Pure/Syntax/printer.ML	Mon Mar 31 14:42:13 1997 +0200
@@ -67,7 +67,7 @@
       let val (f, args) = strip_comb t in
         mk_appl (simple_ast_of f) (map simple_ast_of args)
       end
-  | simple_ast_of (Bound _) = sys_error "simple_ast_of: Bound"
+  | simple_ast_of (Bound i) = Variable ("B." ^ string_of_int i)
   | simple_ast_of (Abs _) = sys_error "simple_ast_of: Abs";