diff options
Diffstat (limited to 'src/util/Makefile.am')
-rw-r--r-- | src/util/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index 156288600..5647a2057 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -76,6 +76,8 @@ libutil_la_SOURCES = \ boolean_simplification.cpp \ ite_removal.h \ ite_removal.cpp \ + nary_builder.h \ + nary_builder.cpp \ node_visitor.h \ chain.h \ index.h \ |