From 620734f14fe4e106244db089bdcadca49b7d3e77 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 13 Sep 2000 15:18:59 +0000
Subject: Add trivial test command.

---
 af2/example.af2 | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'af2/example.af2')

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.
-- 
cgit v1.2.3