From 5bdfb43921463100909b72cf5eea2a8f323dbb99 Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Thu, 5 Aug 2021 13:13:56 -0700 Subject: [PATCH] [Unit Tests] Add missing include (#6990) For some configurations, the unit test `solver_black` was unable to find the correct variant `std::find()`. This commit adds an explicit include of ``, which declares the `std::find()` as required by the unit test. --- test/unit/api/solver_black.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/test/unit/api/solver_black.cpp b/test/unit/api/solver_black.cpp index 08f5596c5..453ef1d24 100644 --- a/test/unit/api/solver_black.cpp +++ b/test/unit/api/solver_black.cpp @@ -13,6 +13,8 @@ * Black box testing of the Solver class of the C++ API. */ +#include + #include "test_api.h" namespace cvc5 { -- 2.30.2