From c23262d260b439c9c87dd838187754a230558c73 Mon Sep 17 00:00:00 2001
From: David Bremner <david@tethera.net>
Date: Mon, 26 Jul 2021 15:48:10 -0300
Subject: countrows: get building with lrslib-072

---
 countrows.c | 5 +++--
 1 file 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
-- 
cgit v1.2.3