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..5e5858fe1c0d3712b7bedcb0ce8755e152405f0f 100644
--- a/de.prob.core/src/de/prob/core/command/ModelCheckingCommand.java
+++ b/de.prob.core/src/de/prob/core/command/ModelCheckingCommand.java
@@ -22,7 +22,7 @@ public final class ModelCheckingCommand implements IComposableCommand {
 	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);
+				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;