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=100a8917713c1300a2002299cea94b04ac66848a;hpb=fdfc1c6248fdde5cb20ae08b0fc4268433731d10

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: