GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-09-18 16:26:00 -06:00
Code Issues Packages Projects Releases Wiki Activity

fix of by one error

Browse Source
This commit is contained in:
Krasimir Angelov
2026-09-09 09:21:25 +02:00
parent 7d96554d49
commit 49a3eaaa39
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/runtime/c/pgf/typechecker.cxx
+1 -1
View File
@@ -82,7 +82,7 @@ PgfType PgfTypechecker::marshall_type(Type *ty, PgfUnmarshaller *u)
for (;;) { for (;;) {
Pi *pi = ty->is_pi(); Pi *pi = ty->is_pi();
if (pi) { if (pi) {
hypos = (PgfTypeHypo *) realloc(hypos, n_hypos*sizeof(PgfTypeHypo)); hypos = (PgfTypeHypo *) realloc(hypos, (n_hypos+1)*sizeof(PgfTypeHypo));
PgfTypeHypo *hypo = &hypos[n_hypos++]; PgfTypeHypo *hypo = &hypos[n_hypos++];
hypo->bind_type = pi->bind_type; hypo->bind_type = pi->bind_type;
hypo->cid = &pi->var; hypo->cid = &pi->var;