From cb259e75ef252a09704026d1e4c9b06cfd3ccba3 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 8 Mar 2018 14:04:24 +0100
Subject: [PATCH] DTMC, reach prob, interval iteration: Fix missing
 "topological" in method description

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

diff --git a/prism/src/explicit/DTMCModelChecker.java b/prism/src/explicit/DTMCModelChecker.java
index bb938ce8..6ef99e94 100644
--- a/prism/src/explicit/DTMCModelChecker.java
+++ b/prism/src/explicit/DTMCModelChecker.java
@@ -1139,7 +1139,7 @@ public class DTMCModelChecker extends ProbModelChecker
 
 		// Start value iteration
 		timer = System.currentTimeMillis();
-		String description = "with " + iterationMethod.getDescriptionShort();
+		String description = (topological ? "topological, " : "" ) + "with " + iterationMethod.getDescriptionShort();
 		mainLog.println("Starting interval iteration (" + description + ")...");
 
 		ExportIterations iterationsExport = null;