From 0dc88dde228e80ef8d9986c98b8cbd58c9697d99 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 17 Sep 2015 15:39:10 +0200
Subject: [PATCH] Maybe printing everything when debugging is a bad idea
---
src/main/scala/leon/purescala/PrettyPrinter.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index 2fccfbdaf..cd1ac6709 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -408,7 +408,7 @@ class PrettyPrinter(opts: PrinterOptions,
// Definitions
case Program(units) =>
- p"""${nary(units filter { opts.printUniqueIds || _.isMainUnit }, "\n\n")}"""
+ p"""${nary(units filter { /*opts.printUniqueIds ||*/ _.isMainUnit }, "\n\n")}"""
case UnitDef(id,pack, imports, defs,_) =>
if (pack.nonEmpty){
--
GitLab