From e22760939896f68765d5223a3613d296b1f98fc8 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 25 Sep 2015 17:23:52 +0200
Subject: [PATCH] Print NoTree differently

---
 src/main/scala/leon/purescala/PrettyPrinter.scala | 2 +-
 src/main/scala/leon/purescala/ScalaPrinter.scala  | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index cd1ac6709..895250023 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -169,7 +169,7 @@ class PrettyPrinter(opts: PrinterOptions,
       case GenericValue(tp, id) => p"$tp#$id"
       case Tuple(exprs)         => p"($exprs)"
       case TupleSelect(t, i)    => p"$t._$i"
-      case NoTree(tpe)          => p"???[$tpe]"
+      case NoTree(tpe)          => p"<empty tree>[$tpe]"
       case Choose(pred)         => p"choose($pred)"
       case e @ Error(tpe, err)  => p"""error[$tpe]("$err")"""
       case AsInstanceOf(e, ct)  => p"""$e.asInstanceOf[$ct]"""
diff --git a/src/main/scala/leon/purescala/ScalaPrinter.scala b/src/main/scala/leon/purescala/ScalaPrinter.scala
index dc987ae49..e030086b9 100644
--- a/src/main/scala/leon/purescala/ScalaPrinter.scala
+++ b/src/main/scala/leon/purescala/ScalaPrinter.scala
@@ -70,6 +70,8 @@ class ScalaPrinter(opts: PrinterOptions,
         p"""|forall(($args) =>
             |  $bd
             |)"""
+      case NoTree(tpe) =>
+        p"(_ : $tpe)"
       case _ =>
         super.pp(tree)
     }
-- 
GitLab