minnor change
This commit is contained in:
1 parent
db19ddef85
commit
f4cf2ef0c9
1 file changed
+2
-1
@@ -46,7 +46,8 @@ oper
|
||||
|
||||
VPSlash = VP ** {c2 : Case} ;
|
||||
|
||||
Prep = {s : Str ; isPre : Bool} ;
|
||||
|
||||
Prep = {s : Str ;isPre : Bool} ;
|
||||
|
||||
mkClause : Str -> VPerNumGen -> VP -> Cl =
|
||||
\subj,png,vp -> {
|
||||
|
||||
Reference in new issue
Block a user