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/cvc4.i | |
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/cvc4.i')
-rw-r--r-- | src/cvc4.i | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cvc4.i b/src/cvc4.i index 2eedbf64c..ee760c569 100644 --- a/src/cvc4.i +++ b/src/cvc4.i @@ -166,6 +166,7 @@ using namespace CVC4; %include "smt/smt_engine.i" %include "smt/modal_exception.i" +%include "smt/logic_exception.i" %include "options/options.i" %include "options/option_exception.i" |