From 28f66c6c695a861c198031faf50ab7aa5de399e6 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 9 Sep 2016 08:41:05 +0000
Subject: [PATCH] BigRational: extend static BigRational from(Object value) to
 accept String value

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11799 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/param/BigRational.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/prism/src/param/BigRational.java b/prism/src/param/BigRational.java
index e081f3b9..367b6d5a 100644
--- a/prism/src/param/BigRational.java
+++ b/prism/src/param/BigRational.java
@@ -263,6 +263,8 @@ public final class BigRational implements Comparable<BigRational>
 			// TODO: ? might be imprecise, perhaps there
 			// is a way to get the full precision?
 			return new BigRational(((Double)value).toString());
+		} else if (value instanceof String) {
+			return new BigRational((String)value);
 		}
 		throw new IllegalArgumentException("Can not convert from " + value.getClass() + " to BigRational");
 	}