diff --git a/src/funcheck/purescala/Common.scala b/src/purescala/Common.scala
similarity index 100%
rename from src/funcheck/purescala/Common.scala
rename to src/purescala/Common.scala
diff --git a/src/funcheck/purescala/Definitions.scala b/src/purescala/Definitions.scala
similarity index 100%
rename from src/funcheck/purescala/Definitions.scala
rename to src/purescala/Definitions.scala
diff --git a/src/funcheck/purescala/PrettyPrinter.scala b/src/purescala/PrettyPrinter.scala
similarity index 100%
rename from src/funcheck/purescala/PrettyPrinter.scala
rename to src/purescala/PrettyPrinter.scala
diff --git a/src/funcheck/purescala/Trees.scala b/src/purescala/Trees.scala
similarity index 100%
rename from src/funcheck/purescala/Trees.scala
rename to src/purescala/Trees.scala
diff --git a/src/funcheck/purescala/TypeTrees.scala b/src/purescala/TypeTrees.scala
similarity index 100%
rename from src/funcheck/purescala/TypeTrees.scala
rename to src/purescala/TypeTrees.scala