From 0c6ed428bb5d34d7fcab0e9637b5dd45e590827e Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 27 Aug 2020 15:07:13 +0200
Subject: [PATCH] add missing semicolon
---
.../src/de/prob/eventb/disprover/core/DisproverReasoner.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasoner.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasoner.java
index 4a7ce472..11473462 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasoner.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasoner.java
@@ -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 {
--
GitLab