diff options
| author | Andres Noetzli <noetzli@stanford.edu> | 2021-08-05 13:13:56 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-05 13:13:56 -0700 |
| commit | 5bdfb43921463100909b72cf5eea2a8f323dbb99 (patch) | |
| tree | c74dbb02fe69e15ed02300ce06a28d7d29ac7c02 | |
| parent | 48a1854491c99d61d21482115e18399195d4d365 (diff) | |
[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 `<algorithm>`, which declares the `std::find()` as required by the
unit test.
| -rw-r--r-- | test/unit/api/solver_black.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
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 <algorithm> + #include "test_api.h" namespace cvc5 { |