From d36f151b9ae5deaa750d6d7a54b046ac4bce35ec Mon Sep 17 00:00:00 2001
From: manoskouk <emmanouil.koukoutos@epfl.ch>
Date: Thu, 29 Jan 2015 18:45:03 +0100
Subject: [PATCH] SimplestValue for UnitType
---
src/main/scala/leon/purescala/TreeOps.scala | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main/scala/leon/purescala/TreeOps.scala b/src/main/scala/leon/purescala/TreeOps.scala
index e60d36f53..df053f78d 100644
--- a/src/main/scala/leon/purescala/TreeOps.scala
+++ b/src/main/scala/leon/purescala/TreeOps.scala
@@ -1012,6 +1012,7 @@ object TreeOps {
case Int32Type => IntLiteral(0)
case CharType => CharLiteral('a')
case BooleanType => BooleanLiteral(false)
+ case UnitType => UnitLiteral()
case SetType(baseType) => FiniteSet(Set()).setType(tpe)
case MapType(fromType, toType) => FiniteMap(Seq()).setType(tpe)
case TupleType(tpes) => Tuple(tpes.map(simplestValue))
--
GitLab