From 0d58ea529123e96f4a3e9156ba61f7c7fccad4c3 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 17 Mar 2020 09:21:22 +0100
Subject: [PATCH] Adding missing template instantiation.

---
 src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp b/src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp
index 45016e515..e764b69ce 100644
--- a/src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp
+++ b/src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp
@@ -116,8 +116,8 @@ namespace storm {
                 return std::make_shared<storm::models::sparse::Pomdp<ValueType>>(newPomdp);
             }
 
-            template
-            class KnownProbabilityTransformer<double>;
+            template class KnownProbabilityTransformer<double>;
+            template class KnownProbabilityTransformer<storm::RationalNumber>;
         }
     }
 }
\ No newline at end of file