luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fixing misplaced guard.

This commit is contained in:
Alan Mishchenko 2025-12-24 19:59:20 -08:00
parent a38d012563
commit 645d8667c3
1 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/opt/ufar/UfarMgr.cpp
View File

@ -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 {