From e9e926d4d67eb3729b72da850e7cbc2103237baa Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 2 Jun 2016 21:00:18 -0700 Subject: [PATCH] UINT32_MAX -> UINT_MAX Signed-off-by: Nikolaj Bjorner --- src/ast/fpa/fpa2bv_converter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/fpa/fpa2bv_converter.cpp b/src/ast/fpa/fpa2bv_converter.cpp index f32e82dd3..777840fc9 100644 --- a/src/ast/fpa/fpa2bv_converter.cpp +++ b/src/ast/fpa/fpa2bv_converter.cpp @@ -1096,7 +1096,7 @@ void fpa2bv_converter::mk_rem(sort * s, expr_ref & x, expr_ref & y, expr_ref & r SASSERT(m_mpz_manager.get_uint64(max_exp_diff) <= UINT_MAX); uint64 max_exp_diff_ui64 = m_mpz_manager.get_uint64(max_exp_diff); - SASSERT(max_exp_diff_ui64 <= UINT32_MAX); + SASSERT(max_exp_diff_ui64 <= UINT_MAX); unsigned max_exp_diff_ui = (unsigned)max_exp_diff_ui64; m_mpz_manager.del(max_exp_diff);