mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
#6951, fix build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
c82b7dd241
commit
fe6f38a160
|
@ -10,6 +10,7 @@ Copyright (c) 2015 Microsoft Corporation
|
|||
#include "api/z3.h"
|
||||
#include "util/debug.h"
|
||||
#include <iostream>
|
||||
#include <cstdlib>
|
||||
|
||||
void test_print(Z3_context ctx, Z3_ast_vector av) {
|
||||
Z3_set_ast_print_mode(ctx, Z3_PRINT_SMTLIB2_COMPLIANT);
|
||||
|
|
Loading…
Reference in a new issue