From d4967adb007fcf7d6bfbd8328941ad409caf74dd Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 11 Sep 2015 17:26:19 +0200
Subject: [PATCH] When debugging trees, print all units
---
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 02acab8d1..8c24c9a90 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -402,7 +402,7 @@ class PrettyPrinter(opts: PrinterOptions,
// Definitions
case Program(units) =>
- p"""${nary(units filter { _.isMainUnit }, "\n\n")}"""
+ p"""${nary(units filter { opts.printUniqueIds || _.isMainUnit }, "\n\n")}"""
case UnitDef(id,pack, imports, defs,_) =>
if (pack.nonEmpty){
--
GitLab