From 343f77a39546c45e11ad22a3fd978fc17d73720a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 3 Oct 2017 19:14:27 +0300
Subject: Valgrind-ispired fix in CUDD by Kai-hui Chang.

---
 src/bdd/cudd/cuddReorder.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/bdd/cudd')

diff --git a/src/bdd/cudd/cuddReorder.c b/src/bdd/cudd/cuddReorder.c
index 662d32c0..ded43855 100644
--- a/src/bdd/cudd/cuddReorder.c
+++ b/src/bdd/cudd/cuddReorder.c
@@ -480,6 +480,7 @@ cuddDynamicAllocNode(
 
     node = table->nextFree;
     table->nextFree = node->next;
+    node->Id = 0;
     return (node);
 
 } /* end of cuddDynamicAllocNode */
-- 
cgit v1.2.3