#6951, fix build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Oct 30, 2023 · fe6f38a · fe6f38a
1 parent c82b7dd
commit fe6f38a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/test/smt2print_parse.cpp b/src/test/smt2print_parse.cpp
@@ -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);