diff --git a/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp b/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp index c68302797..e1a6b3375 100644 --- a/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp +++ b/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp @@ -690,7 +690,7 @@ namespace storm { } } //printTransitions(N, maxNorm, fullTransitionMatrix, exitRate, markovianStates, psiStates, - relReachability, psiStates, psiStates, unifVectors, logfile); //TODO remove + // relReachability, psiStates, psiStates, unifVectors, logfile); //TODO remove // (6) double lambda