From b253ece890de4f42acfbe0086e772762a8346cf1 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 6 Oct 2017 11:26:59 +0100
Subject: [PATCH] Update separationlogic.md

---
 teaching/separationlogic.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/teaching/separationlogic.md b/teaching/separationlogic.md
index 83e9ba1..c77675b 100644
--- a/teaching/separationlogic.md
+++ b/teaching/separationlogic.md
@@ -43,9 +43,9 @@ Coursework Published: Monday 6th of November
 
 Submitted: Wednesday 15th of November 
 
-Feedback: Monday 20tht of November
+Feedback: Monday 20th of November
 
-Exam: 11th week
+Exam: TBC 11th week
 
 Recommended Reading: Mike Gordon has some [excellent notes on Hoare logic](http://www.cl.cam.ac.uk/~mjcg/Teaching/2011/Hoare/Notes/Notes.pdf), which briefly touches on separation logic in the last chapter. 
 Two good books on Hoare logic are: Logic in Computer Science: Modelling and Reasoning about Systems, Michael Huth and Mark Ryan, CUP, 2004; and The Formal Semantics of Programming Languages: an Introduction, Glynn Winskel, MIT Press, 1993.
-- 
GitLab