From 58473c2e30b2319ea84f0ff8ed46d08351ade0ca Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Fri, 4 Apr 2014 10:43:26 +0200
Subject: [PATCH] minor: sparse matrix support for parametric systems now
 depends on parametric systems flag

Former-commit-id: 20fe67fde5f3b3d4010365a10b55a62b39e96303
---
 src/storage/SparseMatrix.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<int>;
         template class SparseMatrix<int>;
         template std::ostream& operator<<(std::ostream& out, SparseMatrix<int> const& matrix);
-#ifdef STORM_HAVE_CARL
+#ifdef PARAMETRIC_SYSTEMS
         template class SparseMatrixBuilder<Polynomial>;
         template class SparseMatrix<Polynomial>;
         template std::ostream& operator<<(std::ostream& out, SparseMatrix<Polynomial> const& matrix);