diff options
Diffstat (limited to 'src/util/Makefile.am')
| -rw-r--r-- | src/util/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index e76858d80..a6ff0ea40 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -45,8 +45,11 @@ libutil_la_SOURCES = \ stats.cpp \ dynamic_array.h \ language.h \ + language.cpp \ triple.h \ subrange_bound.h \ + cardinality.h \ + cardinality.cpp \ trans_closure.h \ trans_closure.cpp \ boolean_simplification.h \ |