diff --git a/src/main/scala/leon/solvers/ADTManager.scala b/src/main/scala/leon/solvers/ADTManager.scala
index 7aefd95773e05f0a22f9bb435f2b2771a2c93da0..e2deeb2d5b3d0112ff27edbe927db0f21e36a830 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) =>