From 9dc240126e3dfa5c22b978881b7acf2622fd5d7b Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Tue, 6 Nov 2018 13:52:32 +0100
Subject: [PATCH] Fixed potential real bug.

---
 src/system.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
       }