From fe6f38a160e916d1523c2db41baf9d6d50ae01c8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 30 Oct 2023 15:31:56 -0700
Subject: [PATCH] #6951, fix build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/smt2print_parse.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/test/smt2print_parse.cpp b/src/test/smt2print_parse.cpp
index 543b437e25c..21e2235d92c 100644
--- 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);