Meh. Fix.

Former-commit-id: 45bab23550
8 years ago · 310fe8ecf9
1 changed files with 1 additions and 1 deletions
--- 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
    }
 }