(Arne Babenhauserheide)
2013-03-26: add final linebreak to example.w add final linebreak to example.w
diff --git a/example.w b/example.w
--- a/example.w
+++ b/example.w
@@ -53,4 +53,4 @@ let
: a b
c
-let : : a b
\ No newline at end of file
+let : : a b