From 8aec0f5effceea98b60e98ecc37d3ad68dc097dc Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Sat, 26 Sep 2020 11:57:34 -0700
Subject: [PATCH] fixed missing instantiation for parametric systems

---
 src/mod_storage.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mod_storage.cpp b/src/mod_storage.cpp
index 09e5b6f..440b6a7 100644
--- a/src/mod_storage.cpp
+++ b/src/mod_storage.cpp
@@ -41,6 +41,7 @@ PYBIND11_MODULE(storage, m) {
     define_symbolic_model<storm::dd::DdType::Sylvan>(m, "Sylvan");
     define_state<double>(m, "");
     define_state<storm::RationalNumber>(m, "Exact");
+    define_state<storm::RationalFunction>(m, "Parametric");
     define_prism(m);
     define_jani(m);
     define_jani_transformers(m);