fix typo in language bindings

diff --git a/src/smt/logic_exception.i b/src/smt/logic_exception.i
index 9fb8594187af7bc135a8f66be6c886ef9a0a76b1..0c4ab50e071566450fd04fb1ff53d7e85d9ca92e 100644 (file)
--- 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"