From 8256750599784a84f7f905f31ac1cd174dce544e Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Thu, 26 Jan 2012 08:58:23 +0000 Subject: [PATCH] libpgf: fix a warning in reader.c --- src/runtime/c/pgf/reader.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runtime/c/pgf/reader.c b/src/runtime/c/pgf/reader.c index 909e28e3f..b4aadb5b8 100644 --- a/src/runtime/c/pgf/reader.c +++ b/src/runtime/c/pgf/reader.c @@ -539,7 +539,7 @@ pgf_read_to_PgfEquationsM(GuType* type, PgfReader* rdr, void* to) gu_malloc(rdr->opool, sizeof(PgfEquation)+sizeof(PgfPatt)*n_patts); equ->n_patts = n_patts; - for (int j = 0; j < n_patts; j++) { + for (GuLength j = 0; j < n_patts; j++) { pgf_read_to(rdr, gu_type(PgfPatt), &equ->patts[j]); gu_return_on_exn(rdr->err, ); }