typo

7 years ago · 7148319243
1 changed files with 1 additions and 1 deletions
--- 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