diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-02 14:06:38 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-02 14:06:38 -0800 |
| commit | 32699ab8393f4d3cb02c9a132ea174c7a1e5e958 (patch) | |
| tree | 74947150d762c4d527bc2716d5255437827a5875 /test/unit/util | |
| parent | 0d5ab1705324e91d9788185cd16e1d4e6bf54fbe (diff) | |
Remove obsolete dependency on CxxTest. (#6038)
Diffstat (limited to 'test/unit/util')
| -rw-r--r-- | test/unit/util/array_store_all_white.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/unit/util/array_store_all_white.cpp b/test/unit/util/array_store_all_white.cpp index a0a954008..74dace3fd 100644 --- a/test/unit/util/array_store_all_white.cpp +++ b/test/unit/util/array_store_all_white.cpp @@ -18,7 +18,6 @@ #include "expr/expr.h" #include "expr/type.h" #include "test_smt.h" -#include "test_utils.h" namespace CVC4 { namespace test { |