diff options
| author | Tim King <taking@cs.nyu.edu> | 2014-05-26 11:44:38 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2014-05-26 11:44:38 -0400 |
| commit | a4ca46db48f8ba450004dd96cce96efbc20b4362 (patch) | |
| tree | c8dfa11d6674b6de5bd26c40cdc4c45e024ad779 /src/Makefile.am | |
| parent | 29744e3da7abba18ca58f6a21ff2f5c300fbe241 (diff) | |
Separating an implicit inclusion of smt_engine.h from theory.h.
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 539afc781..ae7cb619a 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -117,6 +117,7 @@ libcvc4_la_SOURCES = \ smt/boolean_terms.cpp \ smt/logic_exception.h \ smt/logic_request.h \ + smt/logic_request.cpp \ smt/simplification_mode.h \ smt/simplification_mode.cpp \ smt/options_handlers.h \ |