diff options
Diffstat (limited to 'src/theory/arith/Makefile.am')
-rw-r--r-- | src/theory/arith/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/arith/Makefile.am b/src/theory/arith/Makefile.am index 461659765..226d5af12 100644 --- a/src/theory/arith/Makefile.am +++ b/src/theory/arith/Makefile.am @@ -5,6 +5,8 @@ AM_CXXFLAGS = -Wall -fvisibility=hidden noinst_LTLIBRARIES = libarith.la -libarith_la_SOURCES = +libarith_la_SOURCES = \ + theory_def.h \ + theory_arith.h EXTRA_DIST = kinds |