diff options
Diffstat (limited to 'src/util/Makefile.am')
| -rw-r--r-- | src/util/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index d52f23a9c..4945f6339 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -52,6 +52,7 @@ libutil_la_SOURCES = \ language.h \ lemma_input_channel.h \ lemma_output_channel.h \ + dense_map.h \ channel.h \ language.cpp \ ntuple.h \ @@ -73,7 +74,8 @@ libutil_la_SOURCES = \ ite_removal.cpp \ pseudoboolean.h \ pseudoboolean.cpp \ - node_visitor.h + node_visitor.h \ + index.h libutil_la_LIBADD = \ @builddir@/libutilcudd.la |