From 3e98670319aca32de0b7d617d9779ed5a8150b3d Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 4 Dec 2015 17:54:39 +0100
Subject: [PATCH] Beautify this
---
src/main/scala/leon/codegen/CodeGeneration.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/codegen/CodeGeneration.scala b/src/main/scala/leon/codegen/CodeGeneration.scala
index 0ac837c75..8559b404d 100644
--- a/src/main/scala/leon/codegen/CodeGeneration.scala
+++ b/src/main/scala/leon/codegen/CodeGeneration.scala
@@ -6,7 +6,7 @@ package codegen
import purescala.Common._
import purescala.Definitions._
import purescala.Expressions._
-import purescala.ExprOps.{simplestValue, matchToIfThenElse, collect, variablesOf, CollectorWithPaths}
+import purescala.ExprOps._
import purescala.Types._
import purescala.Constructors._
import purescala.Extractors._
--
GitLab