diff options
author | David Bremner <david@tethera.net> | 2021-07-26 15:48:10 -0300 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2021-07-26 15:48:10 -0300 |
commit | c23262d260b439c9c87dd838187754a230558c73 (patch) | |
tree | 937d162519034a42a7f4d750e43033d5f1652d8c /countrows.c | |
parent | 1f0b61c287d9b870463456a7fb1aac2cc2540d16 (diff) |
countrows: get building with lrslib-072
Diffstat (limited to 'countrows.c')
-rw-r--r-- | countrows.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/countrows.c b/countrows.c index 98b0f86..675b061 100644 --- a/countrows.c +++ b/countrows.c @@ -14,9 +14,10 @@ static char rcsid[]="$Id: rat2float.c 2343 2006-04-04 12:34:35Z bremner $"; #include <string.h> #include <float.h> #include <errno.h> -#include "lrsmp.h" - +#include <ctype.h> +#include "lrsmp.h" +#include "process_args.h" typedef lrs_mp integer_t; #define MP_DIGITS 1000L |