Update InferLab.md

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/),