1 files changed, 3 insertions, 1 deletions
diff --git a/af2/example.af2 b/af2/example.af2
index 0b3c68a2..ae08853d 100644
--- a/af2/example.af2
+++ b/af2/example.af2
@@ -2,4 +2,6 @@
     Example proof script for AF2 Proof General
 
     $Id$
-*)
-\ No newline at end of file
+*)
+
+test.