From 7148319243374facb369b89b22f14c5c120fa59e Mon Sep 17 00:00:00 2001
From: Timo Philipp Gros <timopgros@gmail.com>
Date: Sat, 2 Dec 2017 16:44:25 +0100
Subject: [PATCH] typo

---
 .../modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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