clean up missinglat

This commit is contained in:
Herbert Lange
2019-06-28 16:29:12 +02:00
parent 184625fb87
commit 7c1b737d20
2 changed files with 2 additions and 6 deletions

View File

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

View File

@@ -1,5 +0,0 @@
resource MissingTranslateLat = open GrammarLat, Prelude in {
-- temporary definitions to enable the compilation of RGL Translate
}