diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-11-10 16:08:37 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-11-10 16:08:37 +0000 |
commit | e1068a39e661d89d20b47e15fa7d142a28733196 (patch) | |
tree | 87c52eeb2351e4f7340b7b6e9c0f744ef90f4630 | |
parent | 71b15fb7279c9e52b1b2b538887db2c1a44a8fa7 (diff) |
fix typo in language bindings
-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" |