From 68ac0b24ecb97581a61b88dd05a4a4e36be9aeb9 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 21 Jan 2016 19:05:16 +0100
Subject: [PATCH] instantiate template for shortest path generation

Former-commit-id: e5f505b8d45198c20b96e7e3735dcf56deac42a6 [formerly 7146af99e316b09b792df0cd54996ce01353e0c8]
Former-commit-id: 24e3f3d92a56d3869d972d20742d6e95ac2b97e8
---
 src/utility/shortestPaths.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/utility/shortestPaths.cpp b/src/utility/shortestPaths.cpp
index 087456877..ac868070d 100644
--- a/src/utility/shortestPaths.cpp
+++ b/src/utility/shortestPaths.cpp
@@ -332,6 +332,9 @@ namespace storm {
                     std::cout << " ]" << std::endl;
                 }
             }
+
+
+            template class ShortestPathsGenerator<double>;
         }
     }
 }