diff options
Diffstat (limited to 'src/smt')
-rw-r--r-- | src/smt/logic_exception.i | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/logic_exception.i b/src/smt/logic_exception.i index 9fb859418..0c4ab50e0 100644 --- a/src/smt/logic_exception.i +++ b/src/smt/logic_exception.i @@ -4,4 +4,4 @@ %ignore CVC4::LogicException::LogicException(const char*); -%include "smt/Logic_exception.h" +%include "smt/logic_exception.h" |