1 files changed, 2 insertions, 2 deletions
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