C++ compatibility fix.

1f45cca6 · Alan Mishchenko · 3581c94f · 1f45cca6
Commit 1f45cca6 authored Dec 28, 2016 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

src/proof/acec/acecSt.c
+2 -0

No files found.
--- a/src/proof/acec/acecSt.c
+++ b/src/proof/acec/acecSt.c
@@ -21,6 +21,8 @@
 #include "acecInt.h"
 #include "misc/vec/vecWec.h"
 #include "misc/extra/extra.h"
+#include "aig/aig/aig.h"
+#include "opt/dar/dar.h"

 ABC_NAMESPACE_IMPL_START