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; - template class OrderElementsByRank; + template struct OrderElementsById; + template struct OrderElementsByRank; #ifdef STORM_HAVE_CARL - template class OrderElementsById; - template class OrderElementsByRank; + template struct OrderElementsById; + template struct OrderElementsByRank; #endif } }