summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat/satProof.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-03-28 10:13:42 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2012-03-28 10:13:42 -0700
commit265e3e5cd4781aca3dad54985afc651172f9d735 (patch)
treebfb65d7f81ec1b614d0e215a08415b437383e7bc /src/sat/bsat/satProof.c
parent3992e344ea4849ad9ae4febbc2404e3a476f6fbe (diff)
downloadabc-265e3e5cd4781aca3dad54985afc651172f9d735.tar.gz
abc-265e3e5cd4781aca3dad54985afc651172f9d735.tar.bz2
abc-265e3e5cd4781aca3dad54985afc651172f9d735.zip
Moving Vec_Set_t to the vector directory.
Diffstat (limited to 'src/sat/bsat/satProof.c')
-rw-r--r--src/sat/bsat/satProof.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satProof.c b/src/sat/bsat/satProof.c
index 8fbac191..f56c20cc 100644
--- a/src/sat/bsat/satProof.c
+++ b/src/sat/bsat/satProof.c
@@ -20,9 +20,9 @@
#include "satSolver2.h"
#include "src/misc/vec/vec.h"
+#include "src/misc/vec/vecSet.h"
#include "src/aig/aig/aig.h"
#include "satTruth.h"
-#include "vecSet.h"
ABC_NAMESPACE_IMPL_START