Update separationlogic.md

c366117b · Teresa Carbajo-Garcia · 55b3a7aa · c366117b
Commit c366117b authored 8 years ago by Teresa Carbajo-Garcia
--- a/research/separationlogic.md
+++ b/research/separationlogic.md
@@ -5,7 +5,7 @@ menu: true
 menu_order: 5
 ---

-This is a 4th year MEng and MSc course on local reasoning about programs that manipulate the heap at [Department of Computing](http://www.imperial.ac.uk/computing), [Imperial College London](http://www.imperial.ac.uk).
+This 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).

 #### Description of the Course