Fix wrong example in doc

AlexandreDecan · May 16, 2023 · 34e5c31 · 34e5c31
1 parent f1bf6c5
commit 34e5c31
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/properties.rst b/docs/properties.rst
@@ -114,5 +114,5 @@ Heating must stop when door is opened
 
 This property statechart ensures that the heating should quickly stop when the door is open while cooking occurs.
 
-.. literalinclude:: /examples/elevator/tester_elevator_7th_floor_never_reached.yaml
+.. literalinclude:: /examples/elevator/heating_off_property.yaml
    :language: yaml