diff --git a/src/storage/SparseMatrix.cpp b/src/storage/SparseMatrix.cpp index 95bc8e129..a3f34dbac 100644 --- a/src/storage/SparseMatrix.cpp +++ b/src/storage/SparseMatrix.cpp @@ -932,7 +932,7 @@ namespace storm { template class SparseMatrixBuilder; template class SparseMatrix; template std::ostream& operator<<(std::ostream& out, SparseMatrix const& matrix); -#ifdef STORM_HAVE_CARL +#ifdef PARAMETRIC_SYSTEMS template class SparseMatrixBuilder; template class SparseMatrix; template std::ostream& operator<<(std::ostream& out, SparseMatrix const& matrix);