From b01abf831b414e4fefd547be1c545a2004147a73 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Wed, 27 Jul 2016 17:15:52 +0200
Subject: [PATCH] Fixing template spec.

Former-commit-id: bc121341e32c7240334ff4953c11ec91886419fb
---
 src/storage/dd/DdManager.cpp | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/src/storage/dd/DdManager.cpp b/src/storage/dd/DdManager.cpp
index 0f1e65fee..22dc7c753 100644
--- a/src/storage/dd/DdManager.cpp
+++ b/src/storage/dd/DdManager.cpp
@@ -107,12 +107,11 @@ namespace storm {
         }
         
 #ifdef STORM_HAVE_CARL
-		template<DdType LibraryType>
-        template<>
-        Add<LibraryType, storm::RationalFunction> DdManager<LibraryType>::getIdentity(storm::expressions::Variable const& variable) const {
-            storm::dd::DdMetaVariable<LibraryType> const& metaVariable = this->getMetaVariable(variable);
+		template<>
+        Add<DdType::Sylvan, storm::RationalFunction> DdManager<DdType::Sylvan>::getIdentity(storm::expressions::Variable const& variable) const {
+            storm::dd::DdMetaVariable<DdType::Sylvan> const& metaVariable = this->getMetaVariable(variable);
             
-            Add<LibraryType, storm::RationalFunction> result = this->getAddZero<storm::RationalFunction>();
+            Add<DdType::Sylvan, storm::RationalFunction> result = this->getAddZero<storm::RationalFunction>();
             for (int_fast64_t value = metaVariable.getLow(); value <= metaVariable.getHigh(); ++value) {
 				storm::RationalFunction constantFunction(value);
                 result += this->getEncoding(variable, value).template toAdd<ValueType>() * this->getConstant(constantFunction);