diff --git a/src/main/scala/leon/purescala/Extractors.scala b/src/main/scala/leon/purescala/Extractors.scala
index 9b3d02e69c2e270f874e46e9e45cf7e8ecafc108..61bb1650e9a99a1e747b1188e3d16a1f4e359a7f 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, _)))