fix PROBPLUGIN-102

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;