From 310fe8ecf94d2608915048c24035e456a00c5453 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Mon, 18 Jul 2016 18:52:15 +0200
Subject: [PATCH] Meh. Fix.

Former-commit-id: 45bab235507ce3c13a527b6fba50d4d44dbf5125
---
 src/storage/dd/sylvan/InternalSylvanDdManager.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/dd/sylvan/InternalSylvanDdManager.h b/src/storage/dd/sylvan/InternalSylvanDdManager.h
index 79182a1ae..e7a089fd0 100644
--- a/src/storage/dd/sylvan/InternalSylvanDdManager.h
+++ b/src/storage/dd/sylvan/InternalSylvanDdManager.h
@@ -146,7 +146,7 @@ namespace storm {
 
 #ifdef STORM_HAVE_CARL
 		template<>
-		InternalAdd<DdType::Sylvan, storm::RationalFunction> InternalDdManager<DdType::Sylvan>::getConstant(storm::RationalNumber const& value) const;
+		InternalAdd<DdType::Sylvan, storm::RationalFunction> InternalDdManager<DdType::Sylvan>::getConstant(storm::RationalFunction const& value) const;
 #endif
     }
 }