diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-09-22 20:46:17 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-22 20:46:17 -0700 |
commit | e7c50fad0015527e854b3ceee692907e8242a05b (patch) | |
tree | 2926e2cd4e2a0d2d48b5347fdf3e9995bf5dbc4e /src/theory | |
parent | 5c062833d435e3dde5db3a8223c379a3e8cca520 (diff) |
FP: Use Assert instead of AlwaysAssert in traits::(pre|post)condition. (#5121)
For the same reason as in #5119.
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/fp/fp_converter.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/fp/fp_converter.cpp b/src/theory/fp/fp_converter.cpp index 3ddf9f595..47a4af43e 100644 --- a/src/theory/fp/fp_converter.cpp +++ b/src/theory/fp/fp_converter.cpp @@ -157,17 +157,17 @@ symbolicRoundingMode traits::RTZ(void) { return symbolicRoundingMode(0x10); }; void traits::precondition(const bool b) { - AlwaysAssert(b); + Assert(b); return; } void traits::postcondition(const bool b) { - AlwaysAssert(b); + Assert(b); return; } void traits::invariant(const bool b) { - AlwaysAssert(b); + Assert(b); return; } |