diff --git a/src/system.c b/src/system.c
index c1ad20c..e3b564c 100644
--- a/src/system.c
+++ b/src/system.c
@@ -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);
       }