From 9511ecc9e47b40b7478dd866897d6437a965c20d Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Mon, 25 Jul 2016 14:57:36 +0200
Subject: [PATCH] Fixed Copy&Paste Error.

Former-commit-id: 3b06dc0ba4a63698ff269a630d3d085871e1cbaf
---
 src/storage/dd/Add.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/dd/Add.cpp b/src/storage/dd/Add.cpp
index 618adee92..97809049d 100644
--- a/src/storage/dd/Add.cpp
+++ b/src/storage/dd/Add.cpp
@@ -770,7 +770,7 @@ namespace storm {
         template class Add<storm::dd::DdType::Sylvan, double>;
         template class Add<storm::dd::DdType::Sylvan, uint_fast64_t>;
 #ifdef STORM_HAVE_CARL
-		template class InternalAdd<DdType::Sylvan, storm::RationalFunction>;
+		template class Add<storm::dd::DdType::Sylvan, storm::RationalFunction>;
 #endif
     }
 }