From f10a409faa939e0179ed4612dd25806901c88cc7 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 16 Feb 2017 10:31:38 +0000
Subject: [PATCH] Update 2016-12-15-Dolby.md

---
 _posts/2016-12-15-Dolby.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2016-12-15-Dolby.md b/_posts/2016-12-15-Dolby.md
index 9823b62..e0745d3 100644
--- a/_posts/2016-12-15-Dolby.md
+++ b/_posts/2016-12-15-Dolby.md
@@ -6,7 +6,7 @@ title: Visit from Julian Dolby, IBM
 in New York visited the PSVG group for a week in December. Julian’s research focuses on static program analysis, 
 software testing and the semantic web and during his visit, Julian worked with José Fragoso and Petar Maksimovic 
 in a [symbolic analysis for JavaScript](https://psvg.doc.ic.ac.uk/research/javascript.html) 
-based on JSIL and Rosette with the end goal of having a [bug-finding tool for JavaScript](/images/posts/ CSR-Conference-poster-JavaScript.pdf).
+based on JSIL and Rosette with the end goal of having a bug-finding tool for JavaScript.
 
 [ROSETTE](https://github.com/juliandolby/rosette) is a solver-aided programming language 
 that extends Racket with language constructs for program synthesis, verification, and more.
\ No newline at end of file
-- 
GitLab