diff options
Diffstat (limited to 'src/theory/bv/bitblast/aig_bitblaster.h')
-rw-r--r-- | src/theory/bv/bitblast/aig_bitblaster.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/bv/bitblast/aig_bitblaster.h b/src/theory/bv/bitblast/aig_bitblaster.h index d3326f853..3eccbd3ec 100644 --- a/src/theory/bv/bitblast/aig_bitblaster.h +++ b/src/theory/bv/bitblast/aig_bitblaster.h @@ -33,7 +33,7 @@ typedef Abc_Aig_t_ Abc_Aig_t; class Cnf_Dat_t_; typedef Cnf_Dat_t_ Cnf_Dat_t; -namespace CVC4 { +namespace CVC5 { namespace prop { class SatSolver; } @@ -121,6 +121,6 @@ class AigBitblaster : public TBitblaster<Abc_Obj_t*> } // namespace bv } // namespace theory -} // namespace CVC4 +} // namespace CVC5 #endif // CVC4__THEORY__BV__BITBLAST__AIG_BITBLASTER_H |