summaryrefslogtreecommitdiff
path: root/parse/infer.c
diff options
context:
space:
mode:
authorOri Bernstein <ori@markovcorp.com>2019-02-18 13:49:33 -0800
committerOri Bernstein <ori@markovcorp.com>2019-02-18 13:49:33 -0800
commit332da77476a90dd8504d6100ad30380a3e82fe03 (patch)
tree8e7a0f990ad9c9cb67f0c51a7e93d0250073ff06 /parse/infer.c
parent178ce0afad1d2ec8af4814ce5970d2e8194b849f (diff)
downloadmc-332da77476a90dd8504d6100ad30380a3e82fe03.tar.gz
We don't need the last array, just the count.
Fixes #187
Diffstat (limited to 'parse/infer.c')
-rw-r--r--parse/infer.c3
1 files changed, 1 insertions, 2 deletions
diff --git a/parse/infer.c b/parse/infer.c
index ce7f337..30d8747 100644
--- a/parse/infer.c
+++ b/parse/infer.c
@@ -2489,7 +2489,7 @@ postcheckpass(Postcheck ***post, size_t *npost)
static void
postinfer(void)
{
- Postcheck **post, **last;
+ Postcheck **post;
size_t npost, nlast;
/* Iterate until we reach a fixpoint. */
@@ -2501,7 +2501,6 @@ postinfer(void)
if (npost == nlast) {
break;
}
- last = post;
nlast = npost;
}
}