1
0
forked from GitHub/gf-rgl

typo in AllHin corrected; excluded ReflA2 in Demo (not needed in concretes any more)

This commit is contained in:
aarne
2008-08-14 20:30:17 +00:00
parent 51e92b3b3b
commit 4c44f9fe18
2 changed files with 2 additions and 2 deletions

View File

@@ -1,3 +1,3 @@
--# -path=.:../abstract:../common:prelude
concrete AllHin of AllHinAbs = LanHin ;
concrete AllHin of AllHinAbs = LangHin ;