diff --git a/src/storm-cli-utilities/model-handling.h b/src/storm-cli-utilities/model-handling.h index fd2b3d3a3..9b45f08c9 100644 --- a/src/storm-cli-utilities/model-handling.h +++ b/src/storm-cli-utilities/model-handling.h @@ -232,7 +232,9 @@ namespace storm { std::shared_ptr> result = model; model->close(); if (model->hasOnlyTrivialNondeterminism()) { - result = model->convertToCTMC(); + STORM_LOG_WARN_COND(false, "Non-deterministic choices in MA seem to be unnecessary. Consider using a CTMC instead."); + // Activate again if transformation is correct + //result = model->convertToCTMC(); } return result; }