From 467b57ea3b4d82f3acd9ff23bf4b00417e2d4cfd Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Fri, 19 Oct 2012 23:52:19 +0200
Subject: [PATCH] Add simple entry point to leave leon Main.scala untouched
---
src/main/scala/leon/synthesis/Main.scala | 9 +++++++++
1 file changed, 9 insertions(+)
create mode 100644 src/main/scala/leon/synthesis/Main.scala
diff --git a/src/main/scala/leon/synthesis/Main.scala b/src/main/scala/leon/synthesis/Main.scala
new file mode 100644
index 000000000..dd408644c
--- /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()
+ }
+
+}
--
GitLab