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 + ** {} ;