1
0
forked from GitHub/gf-rgl

fix the location of agent in PassAgentVPSlash

This commit is contained in:
Krasimir Angelov
2018-08-07 11:47:59 +02:00
parent 4ca4fb1d6d
commit c41015523f
2 changed files with 2 additions and 2 deletions

View File

@@ -211,7 +211,7 @@ concrete ExtendEng of Extend =
ptp = be.ptp ;
inf = be.inf ;
ad = \\_ => [] ;
s2 = \\a => vps.ad ! a ++ ppt ++ vps.p ++ ag ++ vps.s2 ! a ++ vps.c2 ; ---- place of agent
s2 = \\a => vps.ad ! a ++ ppt ++ vps.p ++ vps.s2 ! a ++ ag ++ vps.c2 ; ---- place of agent
isSimple = False ;
ext = vps.ext
} ;

View File

@@ -187,7 +187,7 @@ lin
ptp = be.ptp ;
inf = be.inf ;
ad = \\_ => [] ;
s2 = \\a => vps.ad ! a ++ ppt ++ vps.p ++ ag ++ vps.s2 ! a ++ vps.c2 ; ---- place of agent
s2 = \\a => vps.ad ! a ++ ppt ++ vps.p ++ vps.s2 ! a ++ ag ++ vps.c2 ; ---- place of agent
isSimple = False ;
ext = vps.ext
} ;