(Ara) Remove unnecessary field from VV
This commit is contained in:
1 parent
8174fd55a8
commit
6e433fdb48
2 files changed
+2
-3
No files matched your search
@@ -519,7 +519,7 @@ resource ParadigmsAra = open
|
||||
mkVS v = v ** {lock_VS = <>} ;
|
||||
mkVQ v = v ** {lock_VQ = <>} ;
|
||||
|
||||
regVV : V -> VV = \v -> lin VV v ** {isAux = False; c2 = []} ;
|
||||
regVV : V -> VV = \v -> lin VV v ** {c2 = []} ;
|
||||
c2VV : V -> Str -> VV = \v,prep -> regVV v ** {c2 = prep} ;
|
||||
|
||||
V0 : Type = V ;
|
||||
|
||||
Reference in new issue
Block a user