Skip to content
Snippets Groups Projects
Commit ac4c50a1 authored by Etienne Kneuss's avatar Etienne Kneuss
Browse files

Remove useless file

parent b0174971
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/synthesis/Main.scala deleted 100644 → 0
+ 0
− 7
View file @ b0174971
/* Copyright 2009-2013 EPFL, Lausanne */
package leon
package synthesis
object Main {
}
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment