1 2 3 4 5
%{ #include "smt/no_such_function_exception.h" %} %include "smt/no_such_function_exception.h"