diff --git a/prism/src/explicit/DTMCModelChecker.java b/prism/src/explicit/DTMCModelChecker.java
index 87cf3662..31f6df88 100644
--- a/prism/src/explicit/DTMCModelChecker.java
+++ b/prism/src/explicit/DTMCModelChecker.java
@@ -41,6 +41,8 @@ import parser.VarList;
 import parser.ast.Declaration;
 import parser.ast.DeclarationIntUnbounded;
 import parser.ast.Expression;
+import parser.ast.ExpressionTemporal;
+import parser.ast.TemporalOperatorBound;
 import prism.ModelType;
 import prism.OptionsIntervalIteration;
 import prism.Pair;