X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FPrototype.tex;h=6db0d8632e089e810e5735c09b00ee068a1391cc;hp=d1862475688e1df1ad39876cd70b7c874862a805;hb=0cd3f69b1d8fb7e18a7e0b2bccd86a96d7fd009b;hpb=1b9665a243799137f9b3f2b04e13489ba6f66e5e

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index d186247..6db0d86 100644
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -939,3 +939,5 @@
       checking usage constraints on state variables.
 
       \todo{Implementation issues: Separate compilation, simplified core.}
+
+% vim: set sw=2 sts=2 expandtab: