summaryrefslogtreecommitdiff
path: root/src/factor.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/factor.c')
-rw-r--r--src/factor.c16
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;