diff --git a/src/main/scala/leon/xlang/ImperativeCodeElimination.scala b/src/main/scala/leon/xlang/ImperativeCodeElimination.scala
index 2f8b897962c556cc1c86ad615c15f21887a44f81..989942f2232d49afd946d9c05d5f0f5506b19c4f 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) =>