From 4b8af3d16f15998f856e9c042d70021d461b0b47 Mon Sep 17 00:00:00 2001
From: Pamela Dyer <pamela.dyer@uconn.edu>
Date: Sun, 26 Dec 2021 19:26:42 -0800
Subject: [PATCH] Update Web_Browser_Formal_Security.mp

---
 models/Application_examples/Web_Browser_Formal_Security.mp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/models/Application_examples/Web_Browser_Formal_Security.mp b/models/Application_examples/Web_Browser_Formal_Security.mp
index 66db696..66d9d57 100644
--- a/models/Application_examples/Web_Browser_Formal_Security.mp
+++ b/models/Application_examples/Web_Browser_Formal_Security.mp
@@ -11,7 +11,7 @@
 │*│ │ communication involving a bad server and a good    │ │
 │*│ │ server.                                            │ │
 │*│ └────────────────────────────────────────────────────┘ │
-│*│														   │
+│*│                                                        │
 │*│ ┌─[ Description ]────────────────────────────────────┐ │
 │*│ │ This example borrowed from (Jackson 2019)          │ │
 │*│ │ demonstrates how MP can check whether Client's web │ │
-- 
GitLab