diff options
Diffstat (limited to 'src/factor.c')
-rw-r--r-- | src/factor.c | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/src/factor.c b/src/factor.c index c55edb894..63924d545 100644 --- a/src/factor.c +++ b/src/factor.c @@ -689,22 +689,6 @@ verify (W <= WIDE_UINT_BITS); This flag is used only in the GMP code. */ static bool dev_debug = false; -/* Like error(0, 0, ...), but without an implicit newline. - Also a noop unless the global DEV_DEBUG is set. - TODO: Replace with variadic macro in system.h or - move to a separate module. */ -static inline void -devmsg (char const *fmt, ...) -{ - if (dev_debug) - { - va_list ap; - va_start (ap, fmt); - vfprintf (stderr, fmt, ap); - va_end (ap); - } -} - /* Prove primality or run probabilistic tests. */ static bool flag_prove_primality = true; |