added ExtendRon

This commit is contained in:
Krasimir Angelov
2023-03-16 12:03:18 +01:00
parent 1b9b15fbed
commit 69d5b80f23
3 changed files with 30 additions and 2 deletions
+1 -1
View File
@@ -2,5 +2,5 @@
--# -path=.:../abstract:../common:../prelude
concrete AllRon of AllRonAbs =
LangRon, ExtraRon
LangRon, ExtendRon
** {} ;