From be75f07ff8326bc525d2f397fe3de45904e9fad8 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Fri, 26 Oct 2012 20:37:06 +0200
Subject: [PATCH] Oups

---
 src/main/scala/leon/synthesis/Rules.scala | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main/scala/leon/synthesis/Rules.scala b/src/main/scala/leon/synthesis/Rules.scala
index f0fb2e9c2..b8ea78b0d 100644
--- a/src/main/scala/leon/synthesis/Rules.scala
+++ b/src/main/scala/leon/synthesis/Rules.scala
@@ -3,6 +3,7 @@ package synthesis
 
 import purescala.Common._
 import purescala.Trees._
+import purescala.Extractors._
 import purescala.TreeOps._
 import purescala.TypeTrees._
 
-- 
GitLab