src/smt/logic_exception.i

   1 %{
   2 #include "smt/logic_exception.h"
   3 %}
   4
   5 %ignore CVC4::LogicException::LogicException(const char*);
   6
   7 %include "smt/logic_exception.h"