From fa1540e05fdf9790a5cd4e28d42f12602611eaf3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Fri, 15 Apr 2016 23:49:26 +0200
Subject: [PATCH] removing unit in tuples is not safe
---
src/main/scala/leon/utils/PreprocessingPhase.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/utils/PreprocessingPhase.scala b/src/main/scala/leon/utils/PreprocessingPhase.scala
index 558f4a32c..5475e0c4d 100644
--- a/src/main/scala/leon/utils/PreprocessingPhase.scala
+++ b/src/main/scala/leon/utils/PreprocessingPhase.scala
@@ -35,7 +35,7 @@ class PreprocessingPhase(genc: Boolean = false) extends LeonPhase[Program, Progr
def pipeEnd = (
InjectAsserts andThen
FunctionClosure andThen
- XLangCleanupPhase andThen
+ //XLangCleanupPhase andThen
AdaptationPhase
) when (!genc)
--
GitLab