fix import

kframework · May 20, 2017 · b498b51 · b498b51
1 parent 219b92f
commit b498b51
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/src/test/scala/org/kframework/kale/tests/FooTest.scala b/src/test/scala/org/kframework/kale/tests/FooTest.scala
@@ -1,7 +1,7 @@
 package org.kframework.kale.tests
 
 import org.kframework.kale._
-import org.kframework.kale.builtin.{importINT, Hooks}
+import org.kframework.kale.builtin.importINT
 import org.kframework.kale.standard.DNFEnvironment
 import org.scalatest.FreeSpec
 

diff --git a/src/test/scala/org/kframework/kale/tests/TestSetup.scala b/src/test/scala/org/kframework/kale/tests/TestSetup.scala
@@ -1,7 +1,6 @@
 package org.kframework.kale.tests
 
 import org.kframework.kale._
-import org.kframework.kale.builtin.Hooks
 import org.kframework.kale.context.pattern.PatternContextApplicationLabel
 import org.kframework.kale.standard.{Rewrite => _, _}
 import org.kframework.kale.util.Implicits