Fixed potential real bug.

This commit is contained in:
Cas Cremers 2018-11-06 13:52:32 +01:00
parent 203303a31d
commit 9dc240126e

View File

@ -1163,7 +1163,7 @@ iterateLocalToOther (const System sys, const int myrun,
Term tt;
tt = tls->term;
if (realTermVariable (tt) && tt->subst != NULL);
if (realTermVariable (tt) && tt->subst != NULL)
{
iterateTermOther (myrun, tt->subst, addOther, &State);
}