From aa78ce56e73427a2a30669a2bbedacc3bb8caa9d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 20 Jul 2012 11:52:51 -0700
Subject: Updated code for lazy man's synthesis.

---
 src/map/if/if.h | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/map/if')

diff --git a/src/map/if/if.h b/src/map/if/if.h
index cff9adfe..37cea625 100644
--- a/src/map/if/if.h
+++ b/src/map/if/if.h
@@ -280,7 +280,11 @@ struct If_Obj_t_
     float              EstRefs;       // estimated reference counter
     float              Required;      // required time of the onde
     float              LValue;        // sequential arrival time of the node
+    union{
     void *             pCopy;         // used for object duplication
+    int                iCopy;
+    };
+    
     If_Set_t *         pCutSet;       // the pointer to the cutset
     If_Cut_t           CutBest;       // the best cut selected 
 };
-- 
cgit v1.2.3