From f8844edcb065c9b10d4bad960299b8f71e740183 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Fri, 1 Feb 2008 11:08:53 +0000
Subject: [PATCH] Corrected getNextParEdgeId in the flow-graph building to also
 actually increment the id ready for the next call

---
 common/FlowGraph.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/common/FlowGraph.hs b/common/FlowGraph.hs
index 4256cf3..8c65b06 100644
--- a/common/FlowGraph.hs
+++ b/common/FlowGraph.hs
@@ -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 ()