Fix missing import

313aaaa4 · Miles Vella · a2ec771b · 313aaaa4
Verified Commit 313aaaa4 authored 1 year ago by Miles Vella
--- 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;