diff --git a/de.prob.core/src/de/prob/core/command/ComputeCoverageCommand.java b/de.prob.core/src/de/prob/core/command/ComputeCoverageCommand.java
index 960b30a40d044914c84b0725dde48c5817fad086..35d16e91a5df47d42a3856af1839f7a9c0fc67a5 100644
--- a/de.prob.core/src/de/prob/core/command/ComputeCoverageCommand.java
+++ b/de.prob.core/src/de/prob/core/command/ComputeCoverageCommand.java
@@ -15,6 +15,7 @@ import de.prob.exceptions.ProBException;
 import de.prob.parser.ISimplifiedROMap;
 import de.prob.prolog.output.IPrologTermOutput;
 import de.prob.prolog.term.AIntegerPrologTerm;
+import de.prob.prolog.term.IntegerPrologTerm;
 import de.prob.prolog.term.ListPrologTerm;
 import de.prob.prolog.term.PrologTerm;