From fcf5bbea5d0c948c20dfecf87aa1f9c8c8d8d318 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sacha-=C3=89lie=20Ayoun?= <sachaayoun@gmail.com>
Date: Tue, 26 Jul 2022 11:10:15 -0700
Subject: [PATCH] publications fix
---
publications.bib | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/publications.bib b/publications.bib
index 645dc42..0b3097d 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1955,7 +1955,7 @@ author = {Petar Maksimoví\'c and
Julian Sutherland and
Andreas L\"o\"ow and
Philippa Gardner},
-title = Exact Separation Logic (submitted),
+title = {Exact Separation Logic (submitted)},
year = {2022},
}
--
GitLab