From 40e40a19b12e38a0fe54cd5a8cf38cebe9a504c7 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Mon, 18 Jul 2016 19:30:45 +0200
Subject: [PATCH] Missing template argument replacement.
Former-commit-id: 5bebdda1488ff74da4a94959bbdef11ac6ea5cd4
---
src/storage/dd/sylvan/InternalSylvanAdd.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/storage/dd/sylvan/InternalSylvanAdd.cpp b/src/storage/dd/sylvan/InternalSylvanAdd.cpp
index 560592c57..25320babd 100644
--- a/src/storage/dd/sylvan/InternalSylvanAdd.cpp
+++ b/src/storage/dd/sylvan/InternalSylvanAdd.cpp
@@ -636,7 +636,7 @@ namespace storm {
#ifdef STORM_HAVE_CARL
template<>
- storm::RationalFunction InternalAdd<DdType::Sylvan, ValueType>::getValue(MTBDD const& node) {
+ storm::RationalFunction InternalAdd<DdType::Sylvan, storm::RationalFunction>::getValue(MTBDD const& node) {
STORM_LOG_ASSERT(mtbdd_isleaf(node), "Expected leaf, but got variable " << mtbdd_getvar(node) << ".");
bool negated = mtbdd_hascomp(node);