- Fixed a bug in subst reporting, when substitutions are compund terms.

This commit is contained in:
ccremers 2004-08-14 18:08:59 +00:00
parent 911e9e4e94
commit b6598ea8f4

View File

@ -54,8 +54,15 @@ termMguTerm (Term t1, Term t2)
termPrint (t);
printf (", typed ");
termlistPrint (t->stype);
printf ("->");
termlistPrint (t->subst->stype);
if (realTermLeaf (t->subst))
{
printf ("->");
termlistPrint (t->subst->stype);
}
else
{
printf (", composite term");
}
printf ("\n");
}
#endif