From 6f4b50c596bd49c70f414ebf8563d42ae6b2fa1e Mon Sep 17 00:00:00 2001
From: Pamela Dyer <pamela.dyer@uconn.edu>
Date: Thu, 17 Jun 2021 20:08:48 +0000
Subject: [PATCH] Updated Title Line

---
 Application_examples/Authentication.mp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Application_examples/Authentication.mp b/Application_examples/Authentication.mp
index c9b6910..714ef4b 100644
--- a/Application_examples/Authentication.mp
+++ b/Application_examples/Authentication.mp
@@ -1,4 +1,4 @@
-/*******************************************************************************
+/* Model of [Authentication]
 
 A Model for Simple Authentication
 
@@ -53,4 +53,4 @@ ENSURE #CREDS_INVALID <= 3;
 
 ENSURE #Deny_access >= 3 <-> #Lock_account == 1;
 
-ENSURE #Grant_access >= 1 -> #Lock_account == 0;
\ No newline at end of file
+ENSURE #Grant_access >= 1 -> #Lock_account == 0;
-- 
GitLab