From cdbccccd2258e8803635afbac8c95b14876afbec Mon Sep 17 00:00:00 2001
From: Shale  Xiong <shale.xiong14@imperial.ac.uk>
Date: Tue, 22 Nov 2016 10:00:10 +0000
Subject: [PATCH] Update separationlogic.md

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

diff --git a/teaching/separationlogic.md b/teaching/separationlogic.md
index fc6ae95..9884acd 100644
--- a/teaching/separationlogic.md
+++ b/teaching/separationlogic.md
@@ -31,7 +31,7 @@ Facebook will run a lab on Infer on 14th November.
 The last week will provide an introduction to concurrent separation logics.
 With Brookes, O'Hearn won the Godel prize for this work in 2016.
 
-#### General Information
+#### General Information for 2016 fall
 
 Time:  Mondays 2pm-4pm, 2nd--9th week
 
-- 
GitLab