From 36b5c49e84b65519193c0189f850182a1239e25f Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 18 Oct 2018 21:50:11 +0200
Subject: [PATCH] RangeConstraint: Fix comment

---
 prism/src/settings/RangeConstraint.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/settings/RangeConstraint.java b/prism/src/settings/RangeConstraint.java
index 4fc0eeca..d0f1ef58 100644
--- a/prism/src/settings/RangeConstraint.java
+++ b/prism/src/settings/RangeConstraint.java
@@ -33,7 +33,7 @@ public class RangeConstraint extends NumericConstraint
     private double lower, upper;
     private boolean inclusiveLower, inclusiveUpper;
     
-    /** Creates a new instance of DoubleRangeConstraint */
+    /** Creates a new instance of RangeConstraint */
     public RangeConstraint(String parseThis)
     {
 		StringTokenizer tokens = new StringTokenizer(parseThis, ",");