From ac4c50a1410fc5f0468300f68603df078013355c Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Wed, 4 Sep 2013 18:47:24 +0200
Subject: [PATCH] Remove useless file
---
src/main/scala/leon/synthesis/Main.scala | 7 -------
1 file changed, 7 deletions(-)
delete 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
deleted file mode 100644
index 69d6518d7..000000000
--- 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 {
-}
--
GitLab