diff options
Diffstat (limited to 'printf/obvprintf.c')
-rw-r--r-- | printf/obvprintf.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/printf/obvprintf.c b/printf/obvprintf.c index 9a924e298..bfb5f85d4 100644 --- a/printf/obvprintf.c +++ b/printf/obvprintf.c @@ -48,4 +48,6 @@ gmp_obstack_vprintf (struct obstack *ob, const char *fmt, va_list ap) return __gmp_doprnt (&__gmp_obstack_printf_funs, ob, fmt, ap); } +#else +typedef int __gmp_dummy_typedef; #endif /* HAVE_OBSTACK_VPRINTF */ |