From 7c1b737d20abe45dbd9ac3e2a5d4e12edbf5d5b9 Mon Sep 17 00:00:00 2001
From: Herbert Lange <herbert.lange@cse.gu.se>
Date: Fri, 28 Jun 2019 16:29:12 +0200
Subject: [PATCH] clean up missinglat

---
 src/latin/MissingLat.gf          | 3 ++-
 src/latin/MissingTranslateLat.gf | 5 -----
 2 files changed, 2 insertions(+), 6 deletions(-)
 delete mode 100644 src/latin/MissingTranslateLat.gf

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
-
-}