From 6dfce2943cf649536653f439fdb9c9f24dfff859 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Tue, 22 Oct 2024 08:05:50 +0200
Subject: [PATCH] added ExtendIna

---
 src/interlingua/AllIna.gf    | 2 +-
 src/interlingua/ExtendIna.gf | 9 +++++++++
 2 files changed, 10 insertions(+), 1 deletion(-)
 create mode 100644 src/interlingua/ExtendIna.gf

diff --git a/src/interlingua/AllIna.gf b/src/interlingua/AllIna.gf
index 810c07721..e43c52aed 100644
--- a/src/interlingua/AllIna.gf
+++ b/src/interlingua/AllIna.gf
@@ -1,3 +1,3 @@
 --# -path=.:../abstract:../common:../prelude
 
-concrete AllIna of AllInaAbs = LangIna ;
+concrete AllIna of AllInaAbs = LangIna, ExtendIna ;
diff --git a/src/interlingua/ExtendIna.gf b/src/interlingua/ExtendIna.gf
new file mode 100644
index 000000000..ae7d1f47e
--- /dev/null
+++ b/src/interlingua/ExtendIna.gf
@@ -0,0 +1,9 @@
+--# -path=.:../abstract:../common:prelude
+concrete ExtendIna of Extend = CatIna **
+  ExtendFunctor
+  with (Grammar = GrammarIna)
+    ** {
+
+  flags coding=utf8 ;
+
+}