From 7640700fdf47447df5c94866ddf8483439810667 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Sun, 21 Nov 2010 22:11:10 +0000 Subject: [PATCH] [PATCH-YAP 6/6] ISO: compound(+1). now holds. from ulrich neumerkel --- C/parser.c | 4 ---- 1 file changed, 4 deletions(-) diff --git a/C/parser.c b/C/parser.c index d10863f03..664022ce8 100644 --- a/C/parser.c +++ b/C/parser.c @@ -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;