From db27777dc49d37bfb5fb4fdc1a8bb7957556dc3a Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 12 Feb 2018 19:43:09 +0100
Subject: [PATCH] fix typo
---
src/storm/counterexamples/SMTMinimalLabelSetGenerator.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/storm/counterexamples/SMTMinimalLabelSetGenerator.h b/src/storm/counterexamples/SMTMinimalLabelSetGenerator.h
index 931e95ff2..a42c37cd0 100644
--- a/src/storm/counterexamples/SMTMinimalLabelSetGenerator.h
+++ b/src/storm/counterexamples/SMTMinimalLabelSetGenerator.h
@@ -1773,7 +1773,7 @@ namespace storm {
std::cout << "Improved lower bound to " << commandSet.size() << " after " << milliseconds << "s." << std::endl;
lastSize = commandSet.size();
} else {
- std::cout << "Lower bound on label set size is " << commandSet.size() << " after " << milliseconds << "s (checked " << iterations << " models, " << zeroProbabilityCount << " could not reach the target set)." << std::endl;
+ std::cout << "Lower bound on label set size is " << commandSet.size() << " after " << milliseconds << "ms (checked " << iterations << " models, " << zeroProbabilityCount << " could not reach the target set)." << std::endl;
timeOfLastMessage = std::chrono::high_resolution_clock::now();
}
}