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

@@ -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";
 		}
 	}