mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-05-31 02:38:55 -06:00
Added a space in one of the types of mkCl to allow MkSynopsis to use words to find the categories in the type.
This commit is contained in: