From d6a38354ba7c92cbc8d4832093f1f73cbb675aa3 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 31 Jan 2020 16:22:57 +0000
Subject: [PATCH] Update 2020-01-22-hase.md

---
 _posts/2020-01-22-hase.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2020-01-22-hase.md b/_posts/2020-01-22-hase.md
index 0d1e9c4..265d51b 100644
--- a/_posts/2020-01-22-hase.md
+++ b/_posts/2020-01-22-hase.md
@@ -1,5 +1,5 @@
 ---
-title: Talk on Gillian, Workshop on High Assurance Systems Engineering, POPL 2020
+title: Talk on Gillian, Workshop on High Assurance Systems Engineering, POPL2020
 ---
 
 Philippa was one of the speakers at the [Interactive Knowledge 
-- 
GitLab