From 5b588daf850cae8fd7540d286dff2a3fafe8277f Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Sun, 7 Sep 2025 08:59:56 +0200
Subject: [PATCH] forgot AllScoAbs

---
 src/scots/AllScoAbs.gf | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 src/scots/AllScoAbs.gf

diff --git a/src/scots/AllScoAbs.gf b/src/scots/AllScoAbs.gf
new file mode 100644
index 000000000..b2d8fd842
--- /dev/null
+++ b/src/scots/AllScoAbs.gf
@@ -0,0 +1,6 @@
+--# -path=.:../abstract:../common:prelude
+
+abstract AllScoAbs =
+  Lang,
+  Extend
+  ** {} ;