From f30560efcc5acb39f8b9a4a5d0ea0482224a5fc1 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Sat, 15 Nov 2008 20:08:09 +0000
Subject: Attempto complete up to spec

---
 examples/attempto/LexAttempto.gf | 1 +
 1 file changed, 1 insertion(+)

(limited to 'examples/attempto/LexAttempto.gf')

diff --git a/examples/attempto/LexAttempto.gf b/examples/attempto/LexAttempto.gf
index 7bfa593d3..3d18d3ca4 100644
--- a/examples/attempto/LexAttempto.gf
+++ b/examples/attempto/LexAttempto.gf
@@ -22,4 +22,5 @@ oper
   comma_and_Conj : Conj ;
   comma_or_Conj : Conj ;
 
+  whose_IDet : IDet ;
 }
-- 
cgit v1.2.3