diff options
-rw-r--r-- | internal.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/internal.h b/internal.h index 6b00cbedc5..ca9e16cde5 100644 --- a/internal.h +++ b/internal.h @@ -1638,6 +1638,7 @@ VALUE mjit_resume(void); #else #define mjit_enabled 0 static inline VALUE mjit_pause(int wait_p){ return Qnil; } /* unreachable */ +static inline void mjit_pause_without_ints(void){} /* unreachable */ static inline VALUE mjit_resume(void){ return Qnil; } /* unreachable */ #endif |