[PATCH-YAP 6/6] ISO: compound(+1). now holds.

from ulrich neumerkel
This commit is contained in:
Vitor Santos Costa 2010-11-21 22:11:10 +00:00
parent 0fa3fff5d5
commit 7640700fdf

View File

@ -456,10 +456,6 @@ ParseTerm(int prio, JMPBUFF *FailBuff)
t = MkLongIntTerm(-LongIntOfTerm(t));
NextToken;
break;
} else if ((Atom)t == AtomPlus) {
t = Yap_tokptr->TokInfo;
NextToken;
break;
}
} else if (Yap_tokptr->Tok == Name_tok) {
Atom at = (Atom)Yap_tokptr->TokInfo;