diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-23 11:57:10 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-23 11:57:10 -0800 |
commit | cef98b9c073c6c1a1535f4f45589a86cfaab1c33 (patch) | |
tree | 835a494004947db5253ec779e6dbc593e9cf1832 /src/util/Makefile.am | |
parent | 86ce6eefaafe0f301feea38276bb364c072c71f0 (diff) |
Split and document bitvector.h. (#1615)
Diffstat (limited to 'src/util/Makefile.am')
-rw-r--r-- | src/util/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index ddee2e72b..4867b775b 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -20,6 +20,7 @@ libutil_la_SOURCES = \ abstract_value.h \ bin_heap.h \ bitvector.h \ + bitvector.cpp \ bool.h \ cache.h \ cardinality.cpp \ |