From a85ff678f058f41ffc021380a316349564636b91 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Sun, 29 Nov 2020 09:37:24 +0100
Subject: [PATCH] fix typo
---
.../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 eb881e5f..d4074c2b 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,
--
GitLab