diff options
Diffstat (limited to 'src/cvc4.i')
-rw-r--r-- | src/cvc4.i | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/cvc4.i b/src/cvc4.i index bc5f5fdfe..c0112c9b0 100644 --- a/src/cvc4.i +++ b/src/cvc4.i @@ -1,11 +1,3 @@ -// We safely ignore some C++11 keywords that older versions of SWIG cannot -// handle. -#if SWIG_VERSION < 0x030000 -%define final %enddef -%define override %enddef -%define noexcept %enddef -#endif - %import "bindings/swig.h" %include "stdint.i" |