diff --git a/models/Behavioral Design Patterns/Terminating_loop_zero_or_more.mp b/models/Behavioral Design Patterns/Terminating_loop_zero_or_more.mp index cf24ba08c1bdfa64b3f69299a912338abcfce612..06e892336494eadf2b1d85686d48526d6abffb89 100644 --- a/models/Behavioral Design Patterns/Terminating_loop_zero_or_more.mp +++ b/models/Behavioral Design Patterns/Terminating_loop_zero_or_more.mp @@ -14,10 +14,12 @@ ROOT System: is modeled as */ Check_Condition + (* Condition_is_true Perform_Loop_body Check_Condition *) + Condition_is_false ;