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(m, "Sylvan"); define_state(m, ""); define_state(m, "Exact"); + define_state(m, "Parametric"); define_prism(m); define_jani(m); define_jani_transformers(m);