Corrected getNextParEdgeId in the flow-graph building to also actually increment the id ready for the next call
This commit is contained in:
parent
83e04b92d4
commit
f8844edcb0
|
@ -214,7 +214,8 @@ buildFlowGraph funcs s
|
|||
addDummyNode m = addNode' m labelDummy m AlterNothing
|
||||
|
||||
getNextParEdgeId :: GraphMaker mLabel mAlter label Int
|
||||
getNextParEdgeId = do (_,pi,_,_) <- get
|
||||
getNextParEdgeId = do (a, pi, b, c) <- get
|
||||
put (a, pi + 1, b, c)
|
||||
return pi
|
||||
|
||||
addParEdges :: Int -> (Node,Node) -> [(Node,Node)] -> GraphMaker mLabel mAlter label ()
|
||||
|
|
Loading…
Reference in New Issue
Block a user