Merge branch 'GrammaticalFramework:master' into master

This commit is contained in:
Meowyam
2021-11-25 13:02:47 +08:00
committed by GitHub
2 changed files with 2 additions and 2 deletions

View File

@@ -1,4 +1,4 @@
concrete RelativeEng of Relative = CatEng ** open ResEng in {
concrete RelativeEng of Relative = CatEng ** open ResEng, Prelude in {
flags optimize=all_subs ;