added ExtendSlv.gf

2019-03-29 07:52:29 +01:00
parent eee3ae6a2b
commit b3a29dc607
2 changed files with 63 additions and 1 deletions
@@ -1,5 +1,6 @@
 --# -path=.:../abstract:../common:../prelude

 concrete AllSlv of AllSlvAbs = 
-  LangSlv
+  LangSlv,
+  ExtendSlv
  ** {} ;