diff options
Diffstat (limited to 'src/Grasp')
| -rw-r--r-- | src/Grasp/Interpreter.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Grasp/Interpreter.hs b/src/Grasp/Interpreter.hs index 82304c1..20d4bd2 100644 --- a/src/Grasp/Interpreter.hs +++ b/src/Grasp/Interpreter.hs @@ -275,7 +275,7 @@ callI = do ae' <- return (map (\x -> GE.mk (GN.toNode calledNode, GE.toDest x, GE.toLabel x)) ae) GMonad.insNodes sn' - GMonad.insEdges (se' ++ ae') + GMonad.insEdges ((filter ((/= (EL.mk "name")) . GE.toLabel) se') ++ ae') GMonad.pushIP calledNode |