From 1db9dfec8ca3d2231b3c913e62e4158f35439ef0 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Mon, 27 Jan 2014 12:43:32 +0000
Subject: [PATCH] typos and name changes in PredicationSwe

---
 lib/src/experimental/PredicationSwe.gf | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/lib/src/experimental/PredicationSwe.gf b/lib/src/experimental/PredicationSwe.gf
index d2753939f..d0c69bbd3 100644
--- a/lib/src/experimental/PredicationSwe.gf
+++ b/lib/src/experimental/PredicationSwe.gf
@@ -171,7 +171,7 @@ lin
     ext = [] ;
     } ;
 
-  SlashVNP x vp np = {
+  SlashV2 x vp np = {
     v   = vp.v ;
     inf = vp.inf ;
     c1  = vp.c1 ;  ---- should be consumed now
@@ -184,7 +184,7 @@ lin
     ext = vp.ext ;
     } ;
 
-  SlashVNP2 x vp np = {
+  SlashV3 x vp np = {
     v   = vp.v ;
     inf = vp.inf ;
     c1  = vp.c1 ;
@@ -585,7 +585,7 @@ oper
               PastPart Sg => v ; PastPart Pl => w ; PresPart => x + "nde"
               } ; 
         c1 = [] ; c2 = [] ; isSubjectControl = True} ; 
-    mkV : (x,y,z,u,v,w : Str) -> Str -> Str -> V = \x,y,z,u,p,q,v,w -> 
+    mkV : (x,y,z,u,v,w : Str) -> Str -> Str -> V = \x,y,z,u,v,w,p,q -> 
       lin V {
         v = table {
               TV Act VInf => x ; TV Act VPres => y ; TV Act VPret => z ; TV Act VSup => u ;