Commit a85ff678 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

fix typo

parent 50bf82f8
......@@ -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,
......
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