From 308f48efe31cc720a1a8d6294cb4c18c69f4242f Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 25 Nov 2016 15:08:21 +0000
Subject: [PATCH] Update InferLab.md

---
 teaching/InferLab.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/teaching/InferLab.md b/teaching/InferLab.md
index 8495d09..8a4d319 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -9,7 +9,7 @@ menu_order: 5
 ![Infer](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/blob/master/images/images/infer-small.png)
 
 A team from Facebook came to College to run a lab on [Infer](http://fbinfer.com/), an automatic verification tool based on separation logic, 
-developed 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. 
+developed 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. 
 This was part of the Separation Logic MEng and MSc course (404H).
 
 [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/), 
-- 
GitLab