Skip to content
Snippets Groups Projects
Commit db6b957b authored by Emmanouil (Manos) Koukoutos's avatar Emmanouil (Manos) Koukoutos Committed by Etienne Kneuss
Browse files

Fix a bug in letTuple

parent b65b4746
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/purescala/Constructors.scala
+ 1
− 1
View file @ db6b957b
...@@ -23,7 +23,7 @@ object Constructors { ...@@ -23,7 +23,7 @@ object Constructors {
case Nil => case Nil =>
body body
case x :: Nil => case x :: Nil =>
if (value.getType == x.getType || !value.getType.isInstanceOf[TupleType]) { if (isSubtypeOf(value.getType, x.getType) || !value.getType.isInstanceOf[TupleType]) {
// This is for cases where we build it like: letTuple(List(x), tupleWrap(List(z))) // This is for cases where we build it like: letTuple(List(x), tupleWrap(List(z)))
Let(x, value, body) Let(x, value, body)
} else { } else {
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment