From: Andres Noetzli <noetzli@stanford.edu>
Date: Thu, 5 Aug 2021 20:13:56 +0000 (-0700)
Subject: [Unit Tests] Add missing include (#6990)
X-Git-Tag: cvc5-1.0.0~1397
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5bdfb43921463100909b72cf5eea2a8f323dbb99;p=cvc5.git

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