From 8ede347fdd612ac9c7aee4039b54874050eb60d5 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 9 Aug 2017 12:02:01 +0200
Subject: [PATCH] Fixed warning by fixing typo

---
 src/storm-dft/storage/dft/OrderDFTElementsById.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/storm-dft/storage/dft/OrderDFTElementsById.cpp b/src/storm-dft/storage/dft/OrderDFTElementsById.cpp
index 8812eb763..72e571ab1 100644
--- a/src/storm-dft/storage/dft/OrderDFTElementsById.cpp
+++ b/src/storm-dft/storage/dft/OrderDFTElementsById.cpp
@@ -22,12 +22,12 @@ namespace storm {
 
 
         // Explicitly instantiate the class.
-        template class OrderElementsById<double>;
-        template class OrderElementsByRank<double>;
+        template struct OrderElementsById<double>;
+        template struct OrderElementsByRank<double>;
 
 #ifdef STORM_HAVE_CARL
-        template class OrderElementsById<RationalFunction>;
-        template class OrderElementsByRank<RationalFunction>;
+        template struct OrderElementsById<RationalFunction>;
+        template struct OrderElementsByRank<RationalFunction>;
 #endif
     }
 }