diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-15 11:46:31 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-15 11:46:31 -0700 |
| commit | 3e2a8562b4f76bfe8b43d066bcf18dab0fa6631e (patch) | |
| tree | 1b3bc7963be7dd556fdfa18c092c835b8381055d /src/util/Makefile.am | |
| parent | 4748af3ee298ce5aae36a8ab8cad4426d1398c17 (diff) | |
Remove unused class DynamicArray (#2312)
Diffstat (limited to 'src/util/Makefile.am')
| -rw-r--r-- | src/util/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index 297d96208..04d0a5b02 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -29,7 +29,6 @@ libutil_la_SOURCES = \ dense_map.h \ divisible.cpp \ divisible.h \ - dynamic_array.h \ floatingpoint.cpp \ gmp_util.h \ hash.h \ |