diff --git a/src/opt/ufar/UfarMgr.cpp b/src/opt/ufar/UfarMgr.cpp
index 6f956fdaf..d60148054 100755
--- a/src/opt/ufar/UfarMgr.cpp
+++ b/src/opt/ufar/UfarMgr.cpp
@@ -16,13 +16,6 @@
 #include <sat/cnf/cnf.h>
 #include <aig/gia/giaAig.h>
 
-ABC_NAMESPACE_IMPL_START
-
-extern "C" {
-    Abc_Ntk_t * Abc_NtkFromAigPhase( Aig_Man_t * pMan );
-    void Wlc_NtkSimulatePrint( Wlc_Ntk_t * p, Vec_Int_t * vNodes, Vec_Ptr_t * vRes, int nWords, int nFrames );
-}
-
 #include <sys/wait.h>
 
 #include <iostream>
@@ -32,6 +25,8 @@ extern "C" {
 #include <array>
 #include <regex>
 
+ABC_NAMESPACE_IMPL_START
+
 using namespace std;
 
 namespace UFAR {