changed message for boundedGloballyFormula

src/storm/storage/jani/JSONExporter.cpp

@@ -236,7 +236,7 @@ namespace storm {
 
                 auto tbr = f.getTimeBoundReference(i);
                 if (tbr.isStepBound() || (model.isDiscreteTimeModel() && tbr.isTimeBound())) {
-                    STORM_LOG_THROW(!hasStepBounds, storm::exceptions::NotSupportedException, "Jani export of until formulas with multiple step bounds is not supported.");
+                    STORM_LOG_THROW(!hasStepBounds, storm::exceptions::NotSupportedException, "Jani export of bounded globally formulas with multiple step bounds is not supported.");
                     hasStepBounds = true;
                     opDecl["step-bounds"] = propertyInterval;
                 } else if(tbr.isRewardBound()) {
@@ -250,7 +250,7 @@ namespace storm {
                     rewbound["bounds"] = propertyInterval;
                     rewardBounds.push_back(std::move(rewbound));
                 } else {
-                    STORM_LOG_THROW(!hasTimeBounds, storm::exceptions::NotSupportedException, "Jani export of globally formulas with multiple time bounds is not supported.");
+                    STORM_LOG_THROW(!hasTimeBounds, storm::exceptions::NotSupportedException, "Jani export of bounded globally formulas with multiple time bounds is not supported.");
                     hasTimeBounds = true;
                     opDecl["time-bounds"] = propertyInterval;
                 }