From b6ead03500689ea5b2073d9b29fe0640d50936c0 Mon Sep 17 00:00:00 2001 From: Regis Blanc <regwblanc@gmail.com> Date: Thu, 22 Oct 2015 15:27:02 +0200 Subject: [PATCH] clean up --- src/main/scala/leon/xlang/ImperativeCodeElimination.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/scala/leon/xlang/ImperativeCodeElimination.scala b/src/main/scala/leon/xlang/ImperativeCodeElimination.scala index 2f8b89796..989942f22 100644 --- a/src/main/scala/leon/xlang/ImperativeCodeElimination.scala +++ b/src/main/scala/leon/xlang/ImperativeCodeElimination.scala @@ -259,7 +259,7 @@ object ImperativeCodeElimination extends UnitPhase[Program] { case None => (FunctionInvocation(tfd, recArgs).copiedFrom(fi), argScope, argFun) } - + case LetDef(fd, b) => -- GitLab