diff --git a/src/main/scala/leon/synthesis/Main.scala b/src/main/scala/leon/synthesis/Main.scala
new file mode 100644
index 0000000000000000000000000000000000000000..dd408644c227a251670ff90b41da4fe048f1f188
--- /dev/null
+++ b/src/main/scala/leon/synthesis/Main.scala
@@ -0,0 +1,9 @@
+package leon
+package synthesis
+
+object Main {
+  def main(args : Array[String]) {
+    new Synthesizer().test()
+  }
+
+}