diff options
Diffstat (limited to 'src/theory/Makefile.am')
-rw-r--r-- | src/theory/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/Makefile.am b/src/theory/Makefile.am index 84af80035..bca96f7d7 100644 --- a/src/theory/Makefile.am +++ b/src/theory/Makefile.am @@ -43,7 +43,9 @@ libtheory_la_SOURCES = \ inst_match_impl.h \ inst_match.cpp \ trigger.h \ - trigger.cpp + trigger.cpp \ + model.h \ + model.cpp nodist_libtheory_la_SOURCES = \ rewriter_tables.h \ |