From 623d5220a7596e0e426f2c99cb16bf0123020ecd Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 13 Apr 2018 12:15:24 +0100
Subject: [PATCH] Update 2018-01-12-popl.md

---
 _posts/2018-01-12-popl.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2018-01-12-popl.md b/_posts/2018-01-12-popl.md
index c4979ce..f8a05e0 100644
--- a/_posts/2018-01-12-popl.md
+++ b/_posts/2018-01-12-popl.md
@@ -8,7 +8,7 @@ with [Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), [D
 [Thomas Wood](https://www.doc.ic.ac.uk/~tw1509/) and [Philippa Gardner](https://www.doc.ic.ac.uk/~pg/), at this year’s ACM SIGPLAN Symposium on Principles 
 of Programming Languages [(POPL 2018)](https://popl18.sigplan.org/).
 
-The paper introduces JaVerT a semi-automatic verification tool chain for JavaScript 
+The paper introduces JaVerT, a semi-automatic verification tool chain for JavaScript 
 based on separation logic.
 
 <div style="position:relative;height:0;padding-bottom:56.25%"><iframe src="https://www.youtube.com/embed/HDf5PC0bzzo?ecver=2" style="position:absolute;width:100%;height:100%;left:0" width="640" height="360" frameborder="0" allow="autoplay; encrypted-media" allowfullscreen></iframe></div>
-- 
GitLab