From f879c608ebaa288a118395eb487b75b002e548d6 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 3 Aug 2015 16:25:09 +0200
Subject: [PATCH] fix for wrong ifdef

Former-commit-id: dd17e10d08a5d1daadede33e0a8ad3dfad3db08c
---
 src/models/sparse/Dtmc.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/models/sparse/Dtmc.h b/src/models/sparse/Dtmc.h
index 43ec31487..af1d2ad3f 100644
--- a/src/models/sparse/Dtmc.h
+++ b/src/models/sparse/Dtmc.h
@@ -110,7 +110,8 @@ namespace storm {
                     void operator()(storm::models::sparse::Dtmc<ValueType> const& dtmc);
                     
                 };
-                
+#endif
+
             private:
                 /*!
                  * Checks the probability matrix for validity.
@@ -119,7 +120,6 @@ namespace storm {
                  */
                 bool checkValidityOfProbabilityMatrix() const;
             };
-#endif
             
         } // namespace sparse
     } // namespace models