diff --git a/models/Example32_ATMWithdrawal_StatechartView.mp b/models/Example32_ATMWithdrawal_StatechartView.mp index fcd9a0c7502b8642d2a125467da4af87e0395304..b338aa4911d304f5f2988e0cf616e989640af7e7 100644 --- a/models/Example32_ATMWithdrawal_StatechartView.mp +++ b/models/Example32_ATMWithdrawal_StatechartView.mp @@ -1,4 +1,4 @@ -/* Example 33. Model of ATM Withdrawal with Statechart +/* Example 32. Model of ATM Withdrawal with Statechart Purpose: To demonstrate how to extract a Statechart view from an MP model.