# HG changeset patch
# User lcp
# Date 776682078 -7200
# Node ID 97a879e8d01b47b6e43a0cdae451ae8598f0d93c
# Parent  55755ed9fab927a93d6da998208168222fc139c5
updated reference to parents

diff -r 55755ed9fab9 -r 97a879e8d01b src/Pure/Syntax/ast.ML
--- a/src/Pure/Syntax/ast.ML	Fri Aug 12 10:57:55 1994 +0200
+++ b/src/Pure/Syntax/ast.ML	Fri Aug 12 11:01:18 1994 +0200
@@ -89,7 +89,7 @@
 fun pretty_ast (Constant a) = Pretty.str (quote a)
   | pretty_ast (Variable x) = Pretty.str x
   | pretty_ast (Appl asts) =
-      Pretty.parents "(" ")" (Pretty.breaks (map pretty_ast asts));
+      Pretty.enclose "(" ")" (Pretty.breaks (map pretty_ast asts));
 
 
 (* pprint_ast *)