From fd90fe0791961982570835582dc900627ee62cd5 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 21 Dec 2006 09:25:02 +0000
Subject: overload rules and their documentation

---
 examples/logic/LogicI.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'examples/logic/LogicI.gf')

diff --git a/examples/logic/LogicI.gf b/examples/logic/LogicI.gf
index 1f9b08e41..3598022ac 100644
--- a/examples/logic/LogicI.gf
+++ b/examples/logic/LogicI.gf
@@ -28,7 +28,7 @@ lin
   Univ A B = 
     AdvS 
       (mkAdv for_Prep (mkNP all_Predet 
-        (mkNP (mkDet (PlQuant IndefArt) NoNum NoOrd) (mkCN A (symb B.$0)))))
+        (mkNP (mkDet (PlQuant IndefArt)) (mkCN A (symb B.$0)))))
       B ;
 
   DisjIl A B a = proof a (proof afortiori (coord or_Conj A B)) ;
-- 
cgit v1.2.3