Commit 91113f7c authored by Michael Leuschel's avatar Michael Leuschel
Browse files

add missing semicolon

parent f5b65e0c
......@@ -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;
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