Skip to content

Commit 645d866

Browse files
committed
Fixing misplaced guard.
1 parent a38d012 commit 645d866

File tree

1 file changed

+2
-7
lines changed

1 file changed

+2
-7
lines changed

src/opt/ufar/UfarMgr.cpp

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -16,13 +16,6 @@
1616
#include <sat/cnf/cnf.h>
1717
#include <aig/gia/giaAig.h>
1818

19-
ABC_NAMESPACE_IMPL_START
20-
21-
extern "C" {
22-
Abc_Ntk_t * Abc_NtkFromAigPhase( Aig_Man_t * pMan );
23-
void Wlc_NtkSimulatePrint( Wlc_Ntk_t * p, Vec_Int_t * vNodes, Vec_Ptr_t * vRes, int nWords, int nFrames );
24-
}
25-
2619
#include <sys/wait.h>
2720

2821
#include <iostream>
@@ -32,6 +25,8 @@ extern "C" {
3225
#include <array>
3326
#include <regex>
3427

28+
ABC_NAMESPACE_IMPL_START
29+
3530
using namespace std;
3631

3732
namespace UFAR {

0 commit comments

Comments
 (0)