From 7e19d90f95967b4e942f84f67414acd4d5dad118 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 25 Nov 2016 14:40:03 +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 a480358..821975f 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -1,5 +1,5 @@
 ---
-title: Separation Logic 
+title: Infer Lab 
 project_id: sl
 menu: true
 parent_menu: Teaching
-- 
GitLab