From 5e534247b43826a7c76a471c5fee5fa622bb6c0b Mon Sep 17 00:00:00 2001 From: Matthew Fernandez Date: Tue, 22 Jun 2021 20:46:38 -0700 Subject: [PATCH] remove unused digitsQ --- lib/sparse/general.c | 7 ------- lib/sparse/general.h | 3 --- 2 files changed, 10 deletions(-) diff --git a/lib/sparse/general.c b/lib/sparse/general.c index 571c5c893..ff7355ba1 100644 --- a/lib/sparse/general.c +++ b/lib/sparse/general.c @@ -246,13 +246,6 @@ void scale_to_box(real xmin, real ymin, real xmax, real ymax, int n, int dim, re } -int digitsQ(char *s){ - while (*s && *s - '0' >= 0 && *s - '0' <= 9) { - s++; - } - if (*s) return 0; - return 1; -} int validQ_int_string(char *to_convert, int *v){ /* check to see if this is a string is integer */ char *p = to_convert; diff --git a/lib/sparse/general.h b/lib/sparse/general.h index f183d2853..76acea20a 100644 --- a/lib/sparse/general.h +++ b/lib/sparse/general.h @@ -127,9 +127,6 @@ void scale_to_box(real xmin, real ymin, real xmax, real ymax, int n, int dim, re /* check to see if this is a string is integer (that can be casted into an integer variable hence very long list of digits are not valid, like 123456789012345. Return 1 if true, 0 if false. */ int validQ_int_string(char *to_convert, int *v); -/* check to see if this is a string of digits consists of 0-9 */ -int digitsQ(char *to_convert); - #endif -- 2.40.0