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 ;