diff --git a/src/frontend/numparam/xpressn.c b/src/frontend/numparam/xpressn.c index 0e79ae543..ea0e51929 100644 --- a/src/frontend/numparam/xpressn.c +++ b/src/frontend/numparam/xpressn.c @@ -1230,7 +1230,7 @@ nupa_substitute(dico_t *dico, const char *s, char * const r) } s = kptr + 1; - r_ = r_ + (int) (insertnumber(dico, r_, &qstr) - r_); + r_ = insertnumber(dico, r_, &qstr); } else if (c == Intro) { /* skip "&&" which may occur in B source */ @@ -1290,7 +1290,7 @@ nupa_substitute(dico_t *dico, const char *s, char * const r) s = kptr; } - r_ = r_ + (int) (insertnumber(dico, r_, &qstr) - r_); + r_ = insertnumber(dico, r_, &qstr); } }