From 3b4cb29c2cf2b918e48e6d6b23a2063ba39767d8 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Tue, 30 Aug 2016 15:50:53 +0000
Subject: [PATCH] parser.Values: use PrismUtils.formatDouble for double
 formatting

Fixes issue #1.


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11760 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/Values.java | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/prism/src/parser/Values.java b/prism/src/parser/Values.java
index 1d4593ae..08d5a46e 100644
--- a/prism/src/parser/Values.java
+++ b/prism/src/parser/Values.java
@@ -37,6 +37,7 @@ import parser.type.TypeDouble;
 import parser.type.TypeInt;
 import prism.ModelInfo;
 import prism.PrismLangException;
+import prism.PrismUtils;
 
 /**
  * Class to store a list of typed constant/variable values.
@@ -486,9 +487,7 @@ public class Values //implements Comparable
 		String s;
 		
 		if (o instanceof Double) {
-			NumberFormat nf = DecimalFormat.getInstance(Locale.UK);
-			nf.setMaximumFractionDigits(6);
-			s = nf.format(((Double)o).doubleValue());
+			s = PrismUtils.formatDouble((double)o);
 		} else {
 			s = o.toString();
 		}