default implementations of ComplSlashPartLast

This commit is contained in:
Krasimir Angelov
2018-07-03 18:44:28 +02:00
parent 6eaee8e4c1
commit 19741440a0
2 changed files with 3 additions and 2 deletions
+1
View File
@@ -132,6 +132,7 @@ lin
lin
ComplBareVS = ComplVS ;
ComplSlashPartLast = ComplSlash ;
lincat
RNP = {s : Role => Str; a : Agr; p : Polarity} ;