forked from GitHub/gf-core
some bug fixes in Scand and Fin
This commit is contained in:
@@ -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) ;
|
||||
|
||||
|
||||
{-
|
||||
|
||||
Reference in New Issue
Block a user