summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/factor.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/factor.c b/src/factor.c
index 45f00bb05..40cce1f97 100644
--- a/src/factor.c
+++ b/src/factor.c
@@ -101,7 +101,6 @@
#include "quote.h"
#include "readtokens.h"
#include "xstrtol.h"
-#include "verify.h"
/* The official name of this program (e.g., no 'g' prefix). */
#define PROGRAM_NAME "factor"