From 91113f7cf2c7597673414330927eb3eea3a5c832 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 3 Dec 2020 16:05:21 +0100
Subject: [PATCH] add missing semicolon
---
.../prob/eventb/disprover/core/internal/DisproverCommand.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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 d6015dee..60fb21f8 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;
--
GitLab