mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 02:15:19 +00:00
add cmath
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
d2dcb39c11
commit
1616427792
|
@ -17,6 +17,7 @@ Revision History:
|
|||
|
||||
--*/
|
||||
|
||||
#include <cmath>
|
||||
#include "ast/ast_smt2_pp.h"
|
||||
#include "smt/smt_lookahead.h"
|
||||
#include "smt/smt_context.h"
|
||||
|
|
Loading…
Reference in a new issue