1 files changed, 7 insertions, 0 deletions
diff --git a/lib/generic.cc b/lib/generic.cc
index 6e6afb9..54e2fbf 100644
--- a/lib/generic.cc
+++ b/lib/generic.cc
@@ -23,6 +23,9 @@
 #include "config.h"
 #endif
 #include "BString.h"
+#ifdef HAVE_GMP
+#include <gmp.h>
+#endif
 
 char verbosity = 0;
 
@@ -40,7 +43,11 @@ void Base::printm(int level, const ugly_string & m, ...) {
     }
 
     va_start(ap, m);    
+#ifdef HAVE_GMP
+    gmp_vfprintf(stderr, m.p, ap);
+#else
     vfprintf(stderr, m.p, ap);
+#endif
     va_end(ap);
 }