mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
ifndef/define match
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
ee320fa025
commit
8acc924c21
|
@ -119,7 +119,6 @@ br_status fpa_rewriter::mk_to_fp(func_decl * f, unsigned num_args, expr * const
|
|||
// BV -> float
|
||||
SASSERT(bvs1 == sbits + ebits);
|
||||
unsynch_mpz_manager & mpzm = m_fm.mpz_manager();
|
||||
unsynch_mpq_manager & mpqm = m_fm.mpq_manager();
|
||||
scoped_mpz sig(mpzm), exp(mpzm);
|
||||
|
||||
const mpz & sm1 = m_fm.m_powers2(sbits - 1);
|
||||
|
|
|
@ -19,7 +19,7 @@ Revision History:
|
|||
|
||||
--*/
|
||||
|
||||
#ifndef CONTAINUR_UTIL_H_
|
||||
#ifndef CONTAINER_UTIL_H_
|
||||
#define CONTAINER_UTIL_H_
|
||||
|
||||
// -----------------------------------
|
||||
|
|
Loading…
Reference in a new issue