From 232a5c8dc45752371bd1e081c20b391db0871bb5 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 19 Dec 2019 12:15:13 +0100 Subject: [PATCH] Fixed missing import --- examples/parametric_models/03-parametric-models.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/examples/parametric_models/03-parametric-models.py b/examples/parametric_models/03-parametric-models.py index 2eac767..8bd35b4 100644 --- a/examples/parametric_models/03-parametric-models.py +++ b/examples/parametric_models/03-parametric-models.py @@ -6,6 +6,8 @@ import stormpy.core import stormpy.examples import stormpy.examples.files +import stormpy._config as config + def example_parametric_models_03(): if not config.storm_with_pars: print("Support parameters is missing. Try building storm-pars.") @@ -60,4 +62,4 @@ def example_parametric_models_03(): if __name__ == '__main__': - example_parametric_models_03() \ No newline at end of file + example_parametric_models_03()