From bcbc533e864d79407585fa5a4fe6ca50b9aecb41 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 25 Nov 2016 14:54:50 +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 b563f7c..0d931f6 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -7,7 +7,7 @@ menu_order: 5
 ---
 
 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, 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