summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigInd.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/aig/saig/saigInd.c')
-rw-r--r--src/aig/saig/saigInd.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/saig/saigInd.c b/src/aig/saig/saigInd.c
index 39ec734a..f9cccae8 100644
--- a/src/aig/saig/saigInd.c
+++ b/src/aig/saig/saigInd.c
@@ -19,8 +19,8 @@
***********************************************************************/
#include "saig.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satSolver.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satSolver.h"
ABC_NAMESPACE_IMPL_START