From bf6858ee7ce822d03513302dce4e9d962b8c10a0 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 10 Aug 2016 07:32:45 +0000
Subject: [PATCH] param.BigRational: fix isInteger()

We have to compare the denominator to BigInteger.ONE instead of
BigRational.ONE...

Introduced in SVN 11554.


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

diff --git a/prism/src/param/BigRational.java b/prism/src/param/BigRational.java
index cf1fb612..0be34651 100644
--- a/prism/src/param/BigRational.java
+++ b/prism/src/param/BigRational.java
@@ -783,7 +783,7 @@ public final class BigRational implements Comparable<BigRational>
 	 */
 	public boolean isInteger()
 	{
-		return isRational() && getDen().equals(ONE);
+		return isRational() && getDen().equals(BigInteger.ONE);
 	}
 
 	/**