From 54515c0aed0c04431b488ba8eebba7439117e404 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Mon, 11 May 2015 16:11:27 +0200
Subject: [PATCH] Make sure we actually include NoXLangFeaturesChecking
---
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 b1840d8d8..5753d8642 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -175,7 +175,7 @@ object Main {
ExtractionPhase andThen
debugTrees("Program after extraction") andThen
PreprocessingPhase andThen
- debugTrees("Program after pre-processing")
+ debugTrees("Program after pre-processing") andThen
xlang.NoXLangFeaturesChecking
val pipeProcess: Pipeline[Program, Any] = {
--
GitLab