Update examples/highlevel_models/02-highlevel-models.py

Co-authored-by: Matthias Volk <[email protected]>
moves-rwth · Jan 3, 2024 · 7e5f42b · 7e5f42b
1 parent df4d832
commit 7e5f42b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/highlevel_models/02-highlevel-models.py b/examples/highlevel_models/02-highlevel-models.py
@@ -27,7 +27,7 @@ def example_highlevel_models():
 
     for v in all_in_one_program.constants:
         print(f"Variable {v.name} is {v.definition}")
-    build_options = options = stormpy.BuilderOptions([p.raw_formula for p in properties])
+    build_options = stormpy.BuilderOptions([p.raw_formula for p in properties])
     build_options.set_build_state_valuations()
     sparse_model = stormpy.build_sparse_model_with_options(all_in_one_program, build_options)
     print(sparse_model)