some bug fixes in Scand and Fin

This commit is contained in:
aarne
2013-11-03 11:37:08 +00:00
parent 7a80ad9d09
commit d3b7c458be
4 changed files with 9 additions and 8 deletions

View File

@@ -82,7 +82,7 @@ lin
(predVc v) ;
-}
ComplVV v ant pol vp = insertObj (\\a => v.c2.s ++ ant.s ++ pol.s ++ infVPPlus vp a ant.a pol.p) (predV v) ;
ComplVV v ant pol vp = insertObjPost (\\a => v.c2.s ++ ant.s ++ pol.s ++ infVPPlus vp a ant.a pol.p) (predV v) ;
{-