include ExtraRon in AllRon

This commit is contained in:
aarne
2010-04-19 06:50:54 +00:00
parent d6e587bc0c
commit 32c5d6c061
2 changed files with 2 additions and 2 deletions
+1 -1
View File
@@ -1,5 +1,5 @@
--# -path=.:../abstract:../common:../prelude
concrete AllRon of AllRonAbs =
LangRon
LangRon, ExtraRon
** {} ;