From e09aad88fb9c92b7e10483e8c44fbf9d45b8a232 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Mon, 30 Oct 2000 14:53:43 +0000
Subject: *** empty log message ***

---
 af2/example.af2 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'af2/example.af2')

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