From 1fdcefd7230044210df2c4206d4ae56232c3cc88 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 14 Dec 2016 10:15:17 +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 b9dad55..7c14839 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -6,7 +6,7 @@ parent_menu: Teaching
 menu_order: 5
 ---
 
-The [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) course is a a 4th-year MEng and MSc course 
+The [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) course is a 4th-year MEng and MSc course 
 on local reasoning about programs that manipulate the heap at the [Department of Computing](http://www.imperial.ac.uk/computing),
 [Imperial College London](http://www.imperial.ac.uk). The course is led by [Philippa Gardner](/people/gardner.html), with support 
 from [Jose Fragoso](https://www.doc.ic.ac.uk/~jfaustin/), [Daiva NaudÅ¾iÅ«nienÄ—](https://www.doc.ic.ac.uk/~dn911/), 
-- 
GitLab