diff options
| -rw-r--r-- | lib/generic.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/generic.cc b/lib/generic.cc index 54e2fbf..7dafb6a 100644 --- a/lib/generic.cc +++ b/lib/generic.cc @@ -63,7 +63,11 @@ void Base::printm(int level, const char * m, ...) { } va_start(ap, m); +#ifdef HAVE_GMP + gmp_vfprintf(stderr, m, ap); +#else vfprintf(stderr, m, ap); +#endif va_end(ap); } |