diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
index d6015dee76375ded1dbbc963c352dc410fa2d865..60fb21f83bef35bc2b7fc2ce22fdac35113782ef 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
@@ -50,7 +50,7 @@ public class DisproverCommand implements IComposableCommand {
 	private final Set<Predicate> selectedHypotheses;
 	private final Predicate goal;
 	private final int timeout;
-	private final Boolean exportPO
+	private final Boolean exportPO;
 
 	private static ComposedCommand composed;