diff options
Diffstat (limited to 'src/theory/bv/bitblast/aig_bitblaster.cpp')
| -rw-r--r-- | src/theory/bv/bitblast/aig_bitblaster.cpp | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/theory/bv/bitblast/aig_bitblaster.cpp b/src/theory/bv/bitblast/aig_bitblaster.cpp index 331db9378..ca1ca4c74 100644 --- a/src/theory/bv/bitblast/aig_bitblaster.cpp +++ b/src/theory/bv/bitblast/aig_bitblaster.cpp @@ -5,7 +5,7 @@ ** Liana Hadarean, Mathias Preiner, Tim King ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS - ** in the top-level source directory) and their institutional affiliations. + ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim ** @@ -14,12 +14,12 @@ ** AIG bitblaster. **/ -#include "cvc4_private.h" - #include "theory/bv/bitblast/aig_bitblaster.h" #include "base/check.h" +#include "cvc4_private.h" #include "options/bv_options.h" +#include "prop/cnf_stream.h" #include "prop/sat_solver_factory.h" #include "smt/smt_statistics_registry.h" @@ -28,7 +28,6 @@ extern "C" { #include "base/abc/abc.h" #include "base/main/main.h" -#include "prop/cnf_stream.h" #include "sat/cnf/cnf.h" extern Aig_Man_t* Abc_NtkToDar(Abc_Ntk_t* pNtk, int fExors, int fRegisters); |