diff --git a/src/opt/ufar/UfarMgr.h b/src/opt/ufar/UfarMgr.h
index 74f024752..d094db4e0 100755
--- a/src/opt/ufar/UfarMgr.h
+++ b/src/opt/ufar/UfarMgr.h
@@ -19,12 +19,12 @@
 
 #include "misc/util/abc_namespaces.h"
 
+ABC_NAMESPACE_CXX_HEADER_START
+
 typedef struct Wlc_Ntk_t_ Wlc_Ntk_t;
 typedef struct Abc_Cex_t_ Abc_Cex_t;
 typedef struct Gia_Man_t_ Gia_Man_t;
 
-ABC_NAMESPACE_CXX_HEADER_START
-
 namespace UFAR {
 
 using VecVecInt = std::vector<std::vector<int> >;
diff --git a/src/opt/untk/Netlist.h b/src/opt/untk/Netlist.h
index e47d03ff8..9b95bf342 100755
--- a/src/opt/untk/Netlist.h
+++ b/src/opt/untk/Netlist.h
@@ -9,10 +9,10 @@
 
 #include "misc/util/abc_namespaces.h"
 
-typedef struct Wlc_Ntk_t_ Wlc_Ntk_t;
-
 ABC_NAMESPACE_CXX_HEADER_START
 
+typedef struct Wlc_Ntk_t_ Wlc_Ntk_t;
+
 namespace UFAR {
 
 class WNetlist {