This should help with renaming confilct ResLav.Voc, CommonX.Voc (in theory)
This commit is contained in:
1 parent
b69c3518a7
commit
37d915c879
1 file changed
+1
-1
@@ -1,6 +1,6 @@
|
||||
--# -path=.:abstract:common:prelude
|
||||
|
||||
concrete CatLav of Cat = CommonX - [Adv, CAdv] ** open ResLav, Prelude in {
|
||||
concrete CatLav of Cat = CommonX - [Adv, CAdv, Voc] ** open ResLav, Prelude in {
|
||||
|
||||
flags
|
||||
|
||||
|
||||
Reference in new issue
Block a user