diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-11-09 19:18:58 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-11-09 19:18:58 +0000 |
| commit | ca6647503475fb36827e960d9e01c3f8a04c4ed3 (patch) | |
| tree | b951d83522c8d82709abfcd2707298b3a4916d07 /src/smt/Makefile.am | |
| parent | 63e4a6775daa1b7a986cc9dec0bd178b7e023c47 (diff) | |
Bug-fix for a crash involving improperly-thrown exceptions; also, add LogicException for errors where the user uses a feature not permitted in the current logic (e.g., a quantifier in a QF logic)
Diffstat (limited to 'src/smt/Makefile.am')
| -rw-r--r-- | src/smt/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/smt/Makefile.am b/src/smt/Makefile.am index 6f5b8fe76..5555a6190 100644 --- a/src/smt/Makefile.am +++ b/src/smt/Makefile.am @@ -13,6 +13,7 @@ libsmt_la_SOURCES = \ command_list.cpp \ command_list.h \ modal_exception.h \ + logic_exception.h \ simplification_mode.h \ simplification_mode.cpp @@ -23,4 +24,5 @@ EXTRA_DIST = \ options_handlers.h \ smt_options_template.cpp \ modal_exception.i \ + logic_exception.i \ smt_engine.i |