Skip to content
Snippets Groups Projects
Commit 67a61916 authored by Régis Blanc's avatar Régis Blanc Committed by Ravi
Browse files

removing unit in tuples is not safe

parent dd5e6f79
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/utils/PreprocessingPhase.scala
+ 1
− 1
View file @ 67a61916
......@@ -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)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment