From 4671346529709089d60702b5b77cc96710718c37 Mon Sep 17 00:00:00 2001
From: odanoburu <bcclaro@gmail.com>
Date: Mon, 9 Apr 2018 12:14:32 -0300
Subject: [PATCH] - rm duplicate lines

---
 src/api/Constructors.gf | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/api/Constructors.gf b/src/api/Constructors.gf
index 6108dc82..6e981602 100644
--- a/src/api/Constructors.gf
+++ b/src/api/Constructors.gf
@@ -1597,10 +1597,6 @@ incomplete resource Constructors = open Grammar in {  --%
 
 --.
 
-
-      the_Art : Art = DefArt ;     -- the
-      a_Art   : Art = IndefArt ;   -- a
-
     ---- obsol
 
     mkQuantSg : Quant -> QuantSg = SgQuant ;