From a90c9ce909a32d5c6a2344572009587faed97009 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 14 Oct 2009 00:07:36 +0000
Subject: [PATCH] give nodes unique id's for printing code

---
 Robust/src/IR/Flat/FlatNode.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Robust/src/IR/Flat/FlatNode.java b/Robust/src/IR/Flat/FlatNode.java
index c2a3cf9d..3af3893a 100644
--- a/Robust/src/IR/Flat/FlatNode.java
+++ b/Robust/src/IR/Flat/FlatNode.java
@@ -7,10 +7,13 @@ import java.util.Iterator;
 public class FlatNode {
   public Vector next;
   protected Vector prev;
+  static int idcounter=0;
+  public final int nodeid;
 
   public FlatNode() {
     next=new Vector();
     prev=new Vector();
+    nodeid=(idcounter++);
   }
 
   public String toString() {
-- 
2.34.1