summaryrefslogtreecommitdiffstats
path: root/src/proof/cec/cecChoice.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/proof/cec/cecChoice.c')
-rw-r--r--src/proof/cec/cecChoice.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/cec/cecChoice.c b/src/proof/cec/cecChoice.c
index 05b372f8..b18a545f 100644
--- a/src/proof/cec/cecChoice.c
+++ b/src/proof/cec/cecChoice.c
@@ -19,8 +19,8 @@
***********************************************************************/
#include "cecInt.h"
-#include "src/aig/gia/giaAig.h"
-#include "src/proof/dch/dch.h"
+#include "aig/gia/giaAig.h"
+#include "proof/dch/dch.h"
ABC_NAMESPACE_IMPL_START