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 4a7ce472c475d484b5deb98e5b5654d5b4338b43..11473462710ba683718770550113f60d4e89cff4 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 {