From 64cc4ec7cd66b863d9da8930b83ae3fa250446b4 Mon Sep 17 00:00:00 2001
From: Joachim Klein <joachim.klein@automata.tools>
Date: Sun, 5 Apr 2020 22:20:07 +0200
Subject: [PATCH] param.JasFunction.toString: Change output for infinities to
 Infinity/-Infinity

Was Inf and MInf before; making it consistent with the other engines.
---
 prism/src/param/JasFunction.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/param/JasFunction.java b/prism/src/param/JasFunction.java
index 5a7b7bc6..d6eb4358 100644
--- a/prism/src/param/JasFunction.java
+++ b/prism/src/param/JasFunction.java
@@ -84,9 +84,9 @@ final class JasFunction extends Function {
 		if (isNaN()) {
 			return "NaN";
 		} else if (isInf()) {
-			return "Inf";
+			return "Infinity";
 		} else if (isMInf()) {
-			return "MInf";
+			return "-Infinity";
 		}
 		return jas.toString();
 	}