remove unused digitsQ

diff --git a/lib/sparse/general.c b/lib/sparse/general.c
index 571c5c893fc968ef37178a21bd92b33f2e5e8707..ff7355ba1c9e1615cb0473e2593e795979cbdb68 100644 (file)
--- 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 f183d2853360b0eefd2ffd26b3ac5bce966224a6..76acea20a01e6bb85861caf61811d1e83710b173 100644 (file)
--- 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