From 22dc784d733e5818f22ad53924fa86d8678ec9d7 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Thu, 19 Jan 2017 15:40:20 +0000
Subject: [PATCH] BigLat = GrammarLat,DictLat

---
 lib/src/latin/dict/BigLat.gf    | 1 +
 lib/src/latin/dict/BigLatAbs.gf | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 lib/src/latin/dict/BigLat.gf
 create mode 100644 lib/src/latin/dict/BigLatAbs.gf

diff --git a/lib/src/latin/dict/BigLat.gf b/lib/src/latin/dict/BigLat.gf
new file mode 100644
index 000000000..3ea3d6752
--- /dev/null
+++ b/lib/src/latin/dict/BigLat.gf
@@ -0,0 +1 @@
+concrete BigLat of BigLatAbs = GrammarLat, DictLat ;
\ No newline at end of file
diff --git a/lib/src/latin/dict/BigLatAbs.gf b/lib/src/latin/dict/BigLatAbs.gf
new file mode 100644
index 000000000..79a5df401
--- /dev/null
+++ b/lib/src/latin/dict/BigLatAbs.gf
@@ -0,0 +1 @@
+abstract BigLatAbs = Grammar, DictLatAbs ;
\ No newline at end of file