GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-30 10:28:53 -06:00
Code Issues Packages Projects Releases Wiki Activity

rm duplicate lines

Browse Source
This commit is contained in:
odanoburu
2018-04-09 12:09:45 -03:00
parent 30dd37e135
commit 5185034a69
1 changed files with 729 additions and 733 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/api/Constructors.gf
View File

@@ -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 ;