1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs
index adb86598..af1bd8ad 100644
--- a/Source/Houdini/Houdini.cs
+++ b/Source/Houdini/Houdini.cs
@@ -747,7 +747,7 @@ namespace Microsoft.Boogie.Houdini {
                     cexWriter.WriteLine("Counter example for " + refutedAnnotation.Constant);
                     cexWriter.Write(error.ToString());
                     cexWriter.WriteLine();
-                    using (var writer = new Microsoft.Boogie.TokenTextWriter(cexWriter))
+                    using (var writer = new Microsoft.Boogie.TokenTextWriter(cexWriter, /*pretty=*/ false))
                       foreach (Microsoft.Boogie.Block blk in error.Trace)
                         blk.Emit(writer, 15);
                     //cexWriter.WriteLine();