From 8c39694e26b33944941ee51faeb7f2c0b0968e60 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 3 Jul 2015 12:13:21 +0000
Subject: [PATCH] Bug fix: Export results does not display "()" when there are
 no constants.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10175 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/ResultsExporter.java | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/prism/src/prism/ResultsExporter.java b/prism/src/prism/ResultsExporter.java
index 79cf1b68..07e53910 100644
--- a/prism/src/prism/ResultsExporter.java
+++ b/prism/src/prism/ResultsExporter.java
@@ -237,7 +237,11 @@ public class ResultsExporter
 			exportString += values.toString(printNames, separator) + equals + result + "\n";
 			break;
 		case COMMENT:
-			exportString += "// RESULT (" + values.toString(true, ",") + "): " + result + "\n";
+			exportString += "// RESULT";
+			if (values.getNumValues() > 0) {
+				exportString += " (" + values.toString(true, ",") + ")";
+			}
+			exportString += ": " + result + "\n";
 		}
 	}