From eab566c2a8d30f39c5716b639717515de13d2fbe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com> Date: Tue, 11 Dec 2012 16:52:49 +0100 Subject: [PATCH] this needs to be updated as well --- src/main/scala/leon/UnitElimination.scala | 1 + 1 file changed, 1 insertion(+) diff --git a/src/main/scala/leon/UnitElimination.scala b/src/main/scala/leon/UnitElimination.scala index 6d3aa8456..3d56d5377 100644 --- a/src/main/scala/leon/UnitElimination.scala +++ b/src/main/scala/leon/UnitElimination.scala @@ -3,6 +3,7 @@ package leon import purescala.Common._ import purescala.Definitions._ import purescala.Trees._ +import xlang.Trees._ import purescala.Extractors._ import purescala.TypeTrees._ -- GitLab