Add fix from mockturtle satlut branch.

gmeuli · Feb 16, 2019 · 33eff23 · 33eff23
1 parent 88f34e3
commit 33eff23
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/mockturtle/mockturtle/algorithms/cut_enumeration.hpp b/lib/mockturtle/mockturtle/algorithms/cut_enumeration.hpp
@@ -343,7 +343,7 @@ class cut_enumeration_impl
       ++i;
     }
 
-    auto tt_res = ntk.compute( index, tt.begin(), tt.end() );
+    auto tt_res = ntk.compute( ntk.index_to_node( index ), tt.begin(), tt.end() );
 
     if ( ps.minimize_truth_table )
     {