From 5c68cf3c2bd8eced217136446823a9c1cc84be0c Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Mon, 29 Aug 2016 10:37:55 +0000 Subject: [PATCH] param.BigRational: fix BigRational.MONE definition MONE is not used in the current code base. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11750 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 0be34651..3131c1f9 100644 --- a/prism/src/param/BigRational.java +++ b/prism/src/param/BigRational.java @@ -53,7 +53,7 @@ public final class BigRational implements Comparable /** the BigRational "1" */ final static BigRational ONE = new BigRational(BigInteger.ONE); /** the BigRational "-1" */ - final static BigRational MONE = new BigRational(BigInteger.ONE); + final static BigRational MONE = new BigRational(BigInteger.ONE).negate(); /** the BigRational "0" */ final static BigRational ZERO = new BigRational(BigInteger.ZERO); /** the BigRational "infinity" */