1 files changed, 5 insertions, 5 deletions
diff --git a/src/aig/fra/fraCore.c b/src/aig/fra/fraCore.c
index 7fdd1b83..5338d662 100644
--- a/src/aig/fra/fraCore.c
+++ b/src/aig/fra/fraCore.c
@@ -39,15 +39,15 @@
   SeeAlso     []
 
 ***********************************************************************/
-Dar_Man_t * Fra_Perform( Dar_Man_t * pManAig, Fra_Par_t * pPars )
+Aig_Man_t * Fra_Perform( Aig_Man_t * pManAig, Fra_Par_t * pPars )
 {
     Fra_Man_t * p;
-    Dar_Man_t * pManAigNew;
+    Aig_Man_t * pManAigNew;
     int clk;
-    if ( Dar_ManNodeNum(pManAig) == 0 )
-        return Dar_ManDup(pManAig);
+    if ( Aig_ManNodeNum(pManAig) == 0 )
+        return Aig_ManDup(pManAig);
 clk = clock();
-    assert( Dar_ManLatchNum(pManAig) == 0 );
+    assert( Aig_ManLatchNum(pManAig) == 0 );
     p = Fra_ManStart( pManAig, pPars );
     Fra_Simulate( p );
     Fra_Sweep( p );