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 const& dtmc); }; - +#endif + private: /*! * Checks the probability matrix for validity. @@ -119,7 +120,6 @@ namespace storm { */ bool checkValidityOfProbabilityMatrix() const; }; -#endif } // namespace sparse } // namespace models