[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.

diff --git a/test/unit/api/solver_black.cpp b/test/unit/api/solver_black.cpp
index 08f5596c5c11f17190721411ae2b9e6ab7b8f1c3..453ef1d24e8566eecb9c06781c13fdefdd77f93b 100644 (file)
--- 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 {