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 eb881e5f4e2ba7ba7926c6d6573faa0ee9a3c115..d4074c2b254fd2011d14741a2640c46190c22abb 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
@@ -197,7 +197,7 @@ public class DisproverReasoner implements IReasoner {
 				&& counterExample.onlySelectedHypotheses()) {
 			System.out.println(sequent.toString()
 					+ ": Counter-Example for selected hypotheses found.");
-            Sysemt.out.println(counterExample.toString()); 
+            System.out.println(counterExample.toString()); 
 			return ProverFactory
 					.reasonerFailure(
 							this,