diff options
Diffstat (limited to 'src/util/CMakeLists.txt')
-rw-r--r-- | src/util/CMakeLists.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt index 724a1ae5a..de748ad98 100644 --- a/src/util/CMakeLists.txt +++ b/src/util/CMakeLists.txt @@ -16,14 +16,12 @@ set(util_src_files dense_map.h divisible.cpp divisible.h - dynamic_array.h floatingpoint.cpp gmp_util.h hash.h index.cpp index.h maybe.h - ntuple.h ostream_util.cpp ostream_util.h proof.h |