diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/misc/vec/vecSet.h (renamed from src/sat/bsat/vecSet.h) | 0 | ||||
| -rw-r--r-- | src/sat/bsat/satProof.c | 2 | ||||
| -rw-r--r-- | src/sat/bsat/satSolver.h | 2 | ||||
| -rw-r--r-- | src/sat/bsat/satSolver2.h | 2 | ||||
| -rw-r--r-- | src/sat/bsat/satTruth.c | 2 |
5 files changed, 4 insertions, 4 deletions
diff --git a/src/sat/bsat/vecSet.h b/src/misc/vec/vecSet.h index d508bf2f..d508bf2f 100644 --- a/src/sat/bsat/vecSet.h +++ b/src/misc/vec/vecSet.h 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 diff --git a/src/sat/bsat/satSolver.h b/src/sat/bsat/satSolver.h index de102227..25b756ef 100644 --- a/src/sat/bsat/satSolver.h +++ b/src/sat/bsat/satSolver.h @@ -29,7 +29,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #include <assert.h> #include "satVec.h" -#include "vecSet.h" +#include "src/misc/vec/vecSet.h" ABC_NAMESPACE_HEADER_START diff --git a/src/sat/bsat/satSolver2.h b/src/sat/bsat/satSolver2.h index ffbae964..07a03c9f 100644 --- a/src/sat/bsat/satSolver2.h +++ b/src/sat/bsat/satSolver2.h @@ -29,7 +29,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #include <assert.h> #include "satVec.h" -#include "vecSet.h" +#include "src/misc/vec/vecSet.h" ABC_NAMESPACE_HEADER_START diff --git a/src/sat/bsat/satTruth.c b/src/sat/bsat/satTruth.c index dabb404f..b2e7dda9 100644 --- a/src/sat/bsat/satTruth.c +++ b/src/sat/bsat/satTruth.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "satTruth.h" -#include "vecSet.h" +#include "src/misc/vec/vecSet.h" ABC_NAMESPACE_IMPL_START |