From 449d5b31b91b031dafb1fff371096c8b02382fd3 Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Wed, 3 Nov 2021 10:42:29 +0100 Subject: [PATCH] changed some output for shield creation --- src/storm-cli-utilities/model-handling.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm-cli-utilities/model-handling.h b/src/storm-cli-utilities/model-handling.h index f0ec400fe..e41bdf47f 100644 --- a/src/storm-cli-utilities/model-handling.h +++ b/src/storm-cli-utilities/model-handling.h @@ -838,7 +838,7 @@ namespace storm { void printModelCheckingProperty(storm::jani::Property const& property) { if(property.isShieldingProperty()) { - STORM_PRINT(std::endl << "Creating a " << property.getShieldingExpression()->typeToString() << " shield for:"); + STORM_PRINT(std::endl << "Creating " << property.getShieldingExpression()->typeToString() << " shield for:"); } STORM_PRINT(std::endl << "Model checking property \"" << property.getName() << "\": " << *property.getRawFormula() << " ..." << std::endl); }