From f99044c543acae2ea81c74c28a5a8d5de51b97d1 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 25 Nov 2016 16:21:26 +0000
Subject: [PATCH] Update 2016-11-14-inferlab.md

---
 _posts/2016-11-14-inferlab.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2016-11-14-inferlab.md b/_posts/2016-11-14-inferlab.md
index c975777..a801b8b 100644
--- a/_posts/2016-11-14-inferlab.md
+++ b/_posts/2016-11-14-inferlab.md
@@ -6,7 +6,7 @@ title: Facebook runs lab on Infer, industrial verification tool
 Engineering Manager, and [Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/), Software Engineer at Facebook, 
 gave a tutorial on how to use [Infer](http://fbinfer.com/) to the students on the [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) MEng and MSc course (404H). 
 
-![Infe-lab](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/blob/master/images/images/Infer-lab-1.jpg)
+![infer-lab](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/blob/master/images/images/Infer-lab-1.jpg)
 
 Infer is an automatic verification tool based on separation logic and was developed at Facebook by a team 
 led by Peter O’Hearn. At [Facebook](https://www.facebook.com/inferstaticanalyzer/), Infer is used every day to verify millions of lines of code.
-- 
GitLab