From 3f2958db79781cc73938c4e9ed9ba92efcf66f62 Mon Sep 17 00:00:00 2001
From: Dan Rosén <danr@chalmers.se>
Date: Tue, 24 Jun 2014 10:32:15 -0700
Subject: Add some pretty-printing, on by default. Turn off with the flag
 "/pretty:0"

When running boogie form the command line, this should be on by default.
On the other hand, the TokenTextWriter constructors and PrintBplFile now have an
argument for this, but by default it is off.
---
 Test/test0/PrettyPrint.bpl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/test0')

diff --git a/Test/test0/PrettyPrint.bpl b/Test/test0/PrettyPrint.bpl
index 8aa25d33..c79eff80 100644
--- a/Test/test0/PrettyPrint.bpl
+++ b/Test/test0/PrettyPrint.bpl
@@ -1,4 +1,4 @@
-// RUN: %boogie -noVerify -printInstrumented "%s" > "%t"
+// RUN: %boogie -pretty:0 -noVerify -printInstrumented "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
 const x: int;
 const y: int;
-- 
cgit v1.2.3