From 01911df99929be66c771fb9c0170b422a5c66267 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 22 Jun 2015 16:06:22 +0200
Subject: [PATCH] let constructor is dangerous in extractors
---
src/main/scala/leon/purescala/Extractors.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/Extractors.scala b/src/main/scala/leon/purescala/Extractors.scala
index 9b3d02e69..61bb1650e 100644
--- a/src/main/scala/leon/purescala/Extractors.scala
+++ b/src/main/scala/leon/purescala/Extractors.scala
@@ -83,7 +83,7 @@ object Extractors {
case MapDifference(t1,t2) => Some((t1,t2,MapDifference))
case MapIsDefinedAt(t1,t2) => Some((t1,t2, MapIsDefinedAt))
case ArraySelect(t1, t2) => Some((t1, t2, ArraySelect))
- case Let(binder, e, body) => Some((e, body, let(binder, _, _)))
+ case Let(binder, e, body) => Some((e, body, Let(binder, _, _)))
case Require(pre, body) => Some((pre, body, Require))
case Ensuring(body, post) => Some((body, post, Ensuring))
case Assert(const, oerr, body) => Some((const, body, Assert(_, oerr, _)))
--
GitLab