Commit 0c6ed428 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

add missing semicolon

parent ae083a9d
......@@ -111,7 +111,7 @@ public class DisproverReasoner implements IReasoner {
IEventBProject evbProject;
if (origin==null) { // no origin available; seems to happen in Rodin 3.5RC upon startup
System.out.println("No origin available for sequent")
System.out.println("No origin available for sequent");
// throw new InterruptedException(); // Should we do this instead of trying to work with null project?
evbProject = null;
} else {
......
Markdown is supported
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