diff options
| author | pixel <pixel> | 2003-02-18 21:52:27 +0000 |
|---|---|---|
| committer | pixel <pixel> | 2003-02-18 21:52:27 +0000 |
| commit | 972bf871902c96c509e0d263e709bc00647e1cd9 (patch) | |
| tree | 6b7992c7874a32424a81a504153878e7b1758ade | |
| parent | 3277e33620c4e64f61f6ae8bcdf1137570009197 (diff) | |
Bleh...
| -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); } |