From ca939e9dd341a278e31d5d1adbc081b0c3d6cb09 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 12 Oct 2018 14:25:53 +0200
Subject: [PATCH] imported patch
 rewardcounter-DTMCModelChecker.removeBounds.patch

---
 prism/src/explicit/DTMCModelChecker.java | 2 ++
 1 file changed, 2 insertions(+)

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;