diff --git a/src/latin/MissingLat.gf b/src/latin/MissingLat.gf index 59312c8e4..269a950b4 100644 --- a/src/latin/MissingLat.gf +++ b/src/latin/MissingLat.gf @@ -1,3 +1,5 @@ +resource MissingLat = open GrammarLat, Prelude in { + -- temporary definitions to enable the compilation of RGL API oper AdNum : AdN -> Card -> Card = notYet "AdNum" ; oper AdvCN : CN -> Adv -> CN = notYet "AdvCN" ; @@ -140,4 +142,3 @@ oper UseSlash : Temp -> Pol -> ClSlash -> SSlash = notYet "UseSlash" ; oper VPSlashPrep : VP -> Prep -> VPSlash = notYet "VPSlashPrep" ; } - diff --git a/src/latin/MissingTranslateLat.gf b/src/latin/MissingTranslateLat.gf deleted file mode 100644 index 92e8fcd14..000000000 --- a/src/latin/MissingTranslateLat.gf +++ /dev/null @@ -1,5 +0,0 @@ -resource MissingTranslateLat = open GrammarLat, Prelude in { - --- temporary definitions to enable the compilation of RGL Translate - -}