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()