squash a -Wfloat-conversion

This was an odd way to write division by 5.

diff --git a/lib/sparse/IntStack.c b/lib/sparse/IntStack.c
index d82930163df89e8e50a32e2a2253608c9cf2d2c1..a309cd96332486018a9803f71076f24b18430d05 100644 (file)
--- a/lib/sparse/IntStack.c
+++ b/lib/sparse/IntStack.c
@@ -32,7 +32,7 @@ void IntStack_delete(IntStack s){
 static IntStack IntStack_realloc(IntStack s){
   int max_len = s->max_len;
 
-  max_len = max_len + MAX(10,0.2*max_len);
+  max_len = max_len + MAX(10, max_len / 5);
   s->max_len = max_len;
   s->stack = REALLOC(s->stack, sizeof(int)*max_len);
   if (!s->stack) return NULL;