From f96d8f43d62b3b86b43a214e6b9f6918f98702a7 Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Sun, 2 Nov 2014 20:09:02 +0100
Subject: [PATCH] Make sure inner functions get lifted before verification
---
src/main/scala/leon/Main.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 22fa23f61..26fcab817 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -218,7 +218,7 @@ object Main {
} else if (settings.xlang) {
XlangAnalysisPhase
} else if (settings.verify) {
- AnalysisPhase
+ purescala.FunctionClosure andThen AnalysisPhase
} else {
purescala.RestoreMethods andThen utils.FileOutputPhase
}
--
GitLab