diff --git a/src/main/scala/leon/synthesis/Main.scala b/src/main/scala/leon/synthesis/Main.scala
deleted file mode 100644
index 69d6518d7ff8d933af558ef7a58329b18e4ecd05..0000000000000000000000000000000000000000
--- a/src/main/scala/leon/synthesis/Main.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
-
-package leon
-package synthesis
-
-object Main {
-}