diff options
| -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 { |