From 3665c00e086f8d2759f0927ef60021920e21fad9 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Fri, 27 Oct 2000 07:59:11 +0000
Subject: *** empty log message ***

---
 af2/example.af2 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'af2/example.af2')

diff --git a/af2/example.af2 b/af2/example.af2
index a196a67b..4dc3abb7 100644
--- a/af2/example.af2
+++ b/af2/example.af2
@@ -4,6 +4,6 @@
     $Id$
 *)
 
-goal /\X (X -> X).
+prop test /\X (X -> X).
 trivial.
-save th.
\ No newline at end of file
+save.
\ No newline at end of file
-- 
cgit v1.2.3