diff --git a/de.prob.core/src/de/prob/core/command/ModelCheckingCommand.java b/de.prob.core/src/de/prob/core/command/ModelCheckingCommand.java
index 31c294f4a59bb9277ed04993643dd3138031e6e6..63954e8d792a35e34d42da70b1c61817193131a3 100644
--- a/de.prob.core/src/de/prob/core/command/ModelCheckingCommand.java
+++ b/de.prob.core/src/de/prob/core/command/ModelCheckingCommand.java
@@ -20,9 +20,9 @@ public final class ModelCheckingCommand implements IComposableCommand {
 	private ModelCheckingResult<Result> result;
 
 	public static enum Result {
-		ok(true), ok_not_all_nodes_considered(true), deadlock(true), invariant_violation(
-				true), assertion_violation(true), not_yet_finished(false), state_error(
-				true), well_definedness_error(true), general_error(true);
+		ok(true), ok_not_all_nodes_considered(true), deadlock(true), invariant_violation(true),
+    assertion_violation(true), not_yet_finished(false), state_error(true),
+    well_definedness_error(true), general_error(true), full_coverage(true);
 		// I assume true means we can stop the model checking
 		private final boolean abort;