From 4e0476ed3a84d81de6fae60afc1c22a450b614e3 Mon Sep 17 00:00:00 2001
From: Chipe1 <vedant.cacklur@students.iiit.ac.in>
Date: Fri, 10 Mar 2017 23:05:09 +0530
Subject: [PATCH] changed unify_var()

---
 logic.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/logic.py b/logic.py
index 338e5aac2..75c461e8f 100644
--- a/logic.py
+++ b/logic.py
@@ -796,6 +796,8 @@ def is_variable(x):
 def unify_var(var, x, s):
     if var in s:
         return unify(s[var], x, s)
+    elif x in s:
+        return unify(var, s[x], s)
     elif occur_check(var, x, s):
         return None
     else: