diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-08-21 18:33:29 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-21 18:33:29 -0700 |
commit | 1b274e50f85762d0d894227f8fb8c72c29bf20f8 (patch) | |
tree | bbed2b12f1efa00c7781240c23230e894de6330d /src/theory/bv | |
parent | 0ad2afe61b58725fc74423a5d90976ea9aaa6f73 (diff) |
Cleanup: use Assert rather than C assert. (#1052)
Diffstat (limited to 'src/theory/bv')
-rw-r--r-- | src/theory/bv/aig_bitblaster.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/bv/aig_bitblaster.cpp b/src/theory/bv/aig_bitblaster.cpp index aa67069f5..5459340f6 100644 --- a/src/theory/bv/aig_bitblaster.cpp +++ b/src/theory/bv/aig_bitblaster.cpp @@ -370,7 +370,7 @@ void AigBitblaster::convertToCnfAndAssert() { Aig_Man_t * pMan = NULL; Cnf_Dat_t * pCnf = NULL; - assert( Abc_NtkIsStrash(currentAigNtk()) ); + Assert( Abc_NtkIsStrash(currentAigNtk()) ); // convert to the AIG manager pMan = Abc_NtkToDar(currentAigNtk(), 0, 0 ); |