1
0
forked from GitHub/gf-rgl

- rm duplicate lines

This commit is contained in:
odanoburu
2018-04-09 12:14:32 -03:00
parent 8f658948a3
commit 4671346529

View File

@@ -1597,10 +1597,6 @@ incomplete resource Constructors = open Grammar in { --%
--. --.
the_Art : Art = DefArt ; -- the
a_Art : Art = IndefArt ; -- a
---- obsol ---- obsol
mkQuantSg : Quant -> QuantSg = SgQuant ; mkQuantSg : Quant -> QuantSg = SgQuant ;