From dafe0f94bde50338f79db71a70f20e2bbaa5b2bf Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Fri, 5 Dec 2014 18:12:18 +0000
Subject: [PATCH] commented out whichever_A from Dictionary

---
 src/translator/Dictionary.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/translator/Dictionary.gf b/src/translator/Dictionary.gf
index 14f73dd6..551968b0 100644
--- a/src/translator/Dictionary.gf
+++ b/src/translator/Dictionary.gf
@@ -64393,7 +64393,7 @@ fun whetstone_N : N ;
 fun whey_N : N ;
 fun which_IQuant : IQuant  ;
 --fun which_N : N  ; ---- what is this? creates spurious parses. AR 25/9/2014
-fun whichever_A : A ;
+--fun whichever_A : A ; --- the same here
 fun whichever_Quant : Quant ;
 fun whichsoever_A : A ;
 fun whiff_N : N ;