fix unify-with-pmap* implementation

clojure · May 6, 2013 · 6d1780d · 6d1780d
1 parent 69e60be
commit 6d1780d
Showing 1 changed file with 3 additions and 7 deletions.
diff --git a/src/main/clojure/clojure/core/logic.clj b/src/main/clojure/clojure/core/logic.clj
@@ -2577,14 +2577,10 @@
   (loop [ks (keys u) s s]
     (if (seq ks)
       (let [kf (first ks)
-            vf (get v kf ::not-found)
-            uf (get u kf)]
+            vf (get v kf ::not-found)]
         (if (= vf ::not-found)
-          (if (= uf ::not-found)
-            (recur (next ks) s)
-            nil)
-          (if (= uf ::not-found)
-            nil
+          nil
+          (let [uf (get u kf)]
             (if-let [s (unify s uf vf)]
               (recur (next ks) s)
               nil))))