src/util/unsafe_interrupt_exception.i

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