From fb436339a9242b217ff081c8d11870c9f65a6674 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 10 Nov 2018 11:08:15 -0800
Subject: Undoing an old change, which affects BDD variable reordering on some
 examples in &reachy.

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

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