From 773adfcc5ac719b954dd6feb9c33c9f9d68a29bc Mon Sep 17 00:00:00 2001
From: "Giammarco, Kristin M" <kmgiamma@nps.edu>
Date: Sun, 5 Mar 2023 07:00:17 -0800
Subject: [PATCH] Update models/Behavioral Design
Patterns/Terminating_loop_zero_or_more.mp
---
.../Behavioral Design Patterns/Terminating_loop_zero_or_more.mp | 2 ++
1 file changed, 2 insertions(+)
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 cf24ba0..06e8923 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
;
--
GitLab