From e1068a39e661d89d20b47e15fa7d142a28733196 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 10 Nov 2012 16:08:37 +0000 Subject: [PATCH] fix typo in language bindings --- src/smt/logic_exception.i | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" -- 2.30.2