From 34947207251d753e38faac9cb0d9eafbf7ddea8a Mon Sep 17 00:00:00 2001
From: pixel <pixel>
Date: Mon, 17 Feb 2003 18:10:11 +0000
Subject: Fixing some things...

---
 lib/generic.cc | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'lib')

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);
 }
 
-- 
cgit v1.2.3