1 files changed, 1 insertions, 0 deletions
diff --git a/src/bdd/cudd/cudd.h b/src/bdd/cudd/cudd.h
index c72edbb0..9231b5ab 100644
--- a/src/bdd/cudd/cudd.h
+++ b/src/bdd/cudd/cudd.h
@@ -283,6 +283,7 @@ struct DdNode {
         CUDD_VALUE_TYPE value;  /* for constant nodes */
         DdChildren kids;        /* for internal nodes */
     } type;
+    ABC_INT64_T Id;
 };
 
 #ifdef __osf__