From 15a777e6109b31efd155e0400d1e6ee90eab5ff2 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Tue, 3 Oct 2017 16:23:58 +0100
Subject: [PATCH] Update 2017-09-26-popl.md

---
 _posts/2017-09-26-popl.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/_posts/2017-09-26-popl.md b/_posts/2017-09-26-popl.md
index b0b08c2..126735d 100644
--- a/_posts/2017-09-26-popl.md
+++ b/_posts/2017-09-26-popl.md
@@ -7,5 +7,5 @@ and [Thomas Wood](https://www.doc.ic.ac.uk/~tw1509/), have had a paper accepted
 [(POPL 2018)](https://popl18.sigplan.org/).
 
 The paper is entitled JaVerT: JavaScript Verification using Separation Logic and introduces 
-[JaVerT], (http://ec2-52-56-105-125.eu-west-2.compute.amazonaws.com:3000/javert ) 
-a semi-automatic verification tool chain for JavaScript based on separation logic. More details will follow soon! 
+[JaVerT](http://ec2-52-56-105-125.eu-west-2.compute.amazonaws.com:3000/javert ) 
+a semi-automatic verification tool chain for JavaScript based on separation logic. More details will follow soon! 
\ No newline at end of file
-- 
GitLab