From afcec52a498d62587c99287f02f93f69d650dbb2 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 1 Jul 2014 13:05:09 -0700
Subject: Improvements to representation of choices.

---
 src/opt/dar/darLib.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/opt/dar')

diff --git a/src/opt/dar/darLib.c b/src/opt/dar/darLib.c
index ee440872..339cd316 100644
--- a/src/opt/dar/darLib.c
+++ b/src/opt/dar/darLib.c
@@ -1288,7 +1288,7 @@ int Dar2_LibBuildBest_rec( Gia_Man_t * p, Dar_LibObj_t * pObj )
     pNode = Gia_ManObj( p, Abc_Lit2Var(pData->iGunc) );
     if ( Gia_ObjIsAnd( pNode ) )
         Gia_ObjSetAndLevel( p, pNode );
-    Gia_ObjSetPhase( pNode );
+    Gia_ObjSetPhase( p, pNode );
     return pData->iGunc;
 }
 
-- 
cgit v1.2.3