diff options
| -rw-r--r-- | src/factor.c | 1 |
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" |