fix bug in trail expansion (should recover numbers)
This commit is contained in:
parent
c385dc13a8
commit
8894645017
5
C/grow.c
5
C/grow.c
@ -718,6 +718,11 @@ AdjustScannerStacks(TokEntry **tksp, VarEntry **vep USES_REGS)
|
||||
TokEntry *tktmp;
|
||||
|
||||
switch (tks->Tok) {
|
||||
case Number_tok:
|
||||
if (IsApplTerm(tks->TokInfo)) {
|
||||
tks->TokInfo = AdjustAppl(tks->TokInfo PASS_REGS);
|
||||
}
|
||||
break;
|
||||
case Var_tok:
|
||||
case String_tok:
|
||||
if (IsOldTrail(tks->TokInfo))
|
||||
|
Reference in New Issue
Block a user