Update Web_Browser_Formal_Security.mp

4b8af3d1 · Pamela Dyer · 7f864246 · 4b8af3d1
Commit 4b8af3d1 authored 3 years ago by Pamela Dyer
--- 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 │ │