diff --git a/src/arabic/AllAra.gf b/src/arabic/AllAra.gf
index dc20a6457..b2f369d34 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 9889c81ed..ef690c992 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 ;