From 3ff870dcd652b793f359a661112f4af3ccd0bedd Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Wed, 24 Mar 2010 08:18:54 +0000
Subject: politeness and disambiguation in Phrasebook (not visible yet)

---
 examples/phrasebook/Greetings.gf | 1 -
 1 file changed, 1 deletion(-)

(limited to 'examples/phrasebook/Greetings.gf')

diff --git a/examples/phrasebook/Greetings.gf b/examples/phrasebook/Greetings.gf
index de7c6f064..11d0f9cc1 100644
--- a/examples/phrasebook/Greetings.gf
+++ b/examples/phrasebook/Greetings.gf
@@ -2,7 +2,6 @@ abstract Greetings = {
 
 cat 
   Greeting ;
-  Politeness ;
 
 fun
   GHello  : Greeting ;
-- 
cgit v1.2.3