From fd48c1d4c65623299fed34cef955c5f89325e189 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 28 Dec 2020 20:14:53 +0000
Subject: [PATCH] Bug fix in reporting of relative error when stored as an
 absolute value.

---
 prism/src/prism/Accuracy.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/Accuracy.java b/prism/src/prism/Accuracy.java
index 90df499d..ea524e3a 100644
--- a/prism/src/prism/Accuracy.java
+++ b/prism/src/prism/Accuracy.java
@@ -220,7 +220,7 @@ public class Accuracy
 		if (type == AccuracyType.RELATIVE) {
 			return errorBound;
 		} else {
-			return (errorBound == 0.0 || Double.isFinite(result)) ? 0.0 : errorBound / Math.abs(result);
+			return (errorBound == 0.0 || Double.isInfinite(result)) ? 0.0 : errorBound / Math.abs(result);
 		}
 	}