return new Xex.Term (domain, (Xex.Symbol) Mcond.Name, args);
}
- private Xex.Term parse_integer (MPlist plist)
+ private Xex.Term parse_insert (MPlist plist)
{
if (plist.IsSymbol)
{
p = p.next;
if (name == Mcond)
return parse_cond (p);
- else if (name == Mset || name == Madd || name == Msub
+ if (name == Minsert)
+ return parse_integer (p);
+ if (name == Mset || name == Madd || name == Msub
|| name == Mmul || name == Mdiv)
{
if (! p.IsSymbol)