pyabc: fix _cex_put to not call Abc_CexDup() twice

aaacf573 · Baruch Sterin · 43d54351 · aaacf573
Commit aaacf573 authored Jan 25, 2013 by Baruch Sterin
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/python/pyabc.i
+1 -1

No files found.
--- a/src/python/pyabc.i
+++ b/src/python/pyabc.i
@@ -254,7 +254,7 @@ void _cex_put(Abc_Cex_t* pCex)
        pCex = Abc_CexDup(pCex, -1);
    }
-    Abc_FrameSetCex( Abc_CexDup(pCex, -1) );
+    Abc_FrameSetCex( pCex );
 }
 void _cex_free(Abc_Cex_t* pCex)