This commit is contained in:
ceriel 1987-03-27 13:34:46 +00:00
parent ecc1b3b971
commit 1d443b6b4b

View file

@ -289,7 +289,8 @@ bool opmatch(t,s)
was_instantiated = (var[vno].vstate == INSTANTIATED); was_instantiated = (var[vno].vstate == INSTANTIATED);
strcpy(buf,s); strcpy(buf,s);
if ( (l=lstrip(buf,t->lctxt)) != NULLSTRING && rstrip(l,t->rctxt)) { if ( (l=lstrip(buf,t->lctxt)) != NULLSTRING && rstrip(l,t->rctxt)) {
return vno == 0 || (unify(l,&var[vno]) && return (vno == 0 && *l == '\0') ||
(vno != 0 && unify(l,&var[vno]) &&
(was_instantiated || tok_chk(vno))); (was_instantiated || tok_chk(vno)));
} }
return FALSE; return FALSE;