From 1e761ede3872cb50b27467a7fee07ed1cf093ca3 Mon Sep 17 00:00:00 2001
From: Inari Listenmaa <inari.listenmaa@gmail.com>
Date: Sun, 23 Jan 2022 18:26:35 +0800
Subject: [PATCH] (Ara) Add extend to AllAra

---
 src/arabic/AllAra.gf    | 2 +-
 src/arabic/AllAraAbs.gf | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/arabic/AllAra.gf b/src/arabic/AllAra.gf
index dc20a645..b2f369d3 100644
--- a/src/arabic/AllAra.gf
+++ b/src/arabic/AllAra.gf
@@ -1,3 +1,3 @@
 --# -path=.:../abstract:../common:../api:../prelude
 
-concrete AllAra of AllAraAbs = LangAra ;
+concrete AllAra of AllAraAbs = LangAra, ExtendAra ;
diff --git a/src/arabic/AllAraAbs.gf b/src/arabic/AllAraAbs.gf
index 9889c81e..ef690c99 100644
--- a/src/arabic/AllAraAbs.gf
+++ b/src/arabic/AllAraAbs.gf
@@ -1,3 +1,3 @@
 --# -path=.:../abstract:../common:prelude
 
-abstract AllAraAbs = Lang ;
+abstract AllAraAbs = Lang, Extend ;