From 02d847c9794f7bf89b1a84950f9fad786b71cfb6 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 13 Oct 2017 15:41:19 +0200
Subject: [PATCH] GUI: Support fractional constants in constant value picker
 for experiment

---
 prism/src/userinterface/properties/ConstantLine.java | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/prism/src/userinterface/properties/ConstantLine.java b/prism/src/userinterface/properties/ConstantLine.java
index 8f30e41a..9dbf9c93 100644
--- a/prism/src/userinterface/properties/ConstantLine.java
+++ b/prism/src/userinterface/properties/ConstantLine.java
@@ -263,11 +263,11 @@ public class ConstantLine extends javax.swing.JPanel
 		else if(type instanceof TypeDouble)
 		{
 			try {
-				s = singleValueField.getText(); Double.parseDouble(s);
+				s = singleValueField.getText(); DefinedConstant.parseDouble(s);
 				if (isRange()) {
-					s = startValueField.getText(); Double.parseDouble(s);
-					s = endValueField.getText(); Double.parseDouble(s);
-					s = stepValueField.getText(); Double.parseDouble(s);
+					s = startValueField.getText(); DefinedConstant.parseDouble(s);
+					s = endValueField.getText(); DefinedConstant.parseDouble(s);
+					s = stepValueField.getText(); DefinedConstant.parseDouble(s);
 				}
 			} catch (NumberFormatException e) {
 				throw new PrismException("Invalid value \""+s+"\" for double constant \""+getName()+"\"");