From 99c797c02e11b6159ec5feb707d5ded98b219dbc Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 27 Apr 2016 13:02:31 +0200
Subject: [PATCH] Simplify ADTManager
---
src/main/scala/leon/solvers/ADTManager.scala | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/src/main/scala/leon/solvers/ADTManager.scala b/src/main/scala/leon/solvers/ADTManager.scala
index 7aefd9577..e2deeb2d5 100644
--- a/src/main/scala/leon/solvers/ADTManager.scala
+++ b/src/main/scala/leon/solvers/ADTManager.scala
@@ -116,10 +116,7 @@ class ADTManager(ctx: LeonContext) {
case UnitType =>
if (!(discovered contains t) && !(defined contains t)) {
-
- val sym = freshId("Unit")
-
- discovered += (t -> DataType(sym, Seq(Constructor(freshId(sym.name), t, Nil))))
+ discovered += (t -> DataType(freshId("Unit"), Seq(Constructor(freshId("Unit"), t, Nil))))
}
case at @ ArrayType(base) =>
--
GitLab