verified that nothing ever gets added to ws if it already has a value

in the substitution.
clojure · Oct 12, 2012 · 2b1c70e · 2b1c70e
1 parent 08ece0f
commit 2b1c70e
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/src/main/clojure/clojure/core/logic.clj b/src/main/clojure/clojure/core/logic.clj
@@ -2686,11 +2686,6 @@
   [a wsi x]
   (assoc a :ws (dissoc (:ws a) (root-var a x))))
 
-;; TODO NOW: we should not add anything to ws if
-;; x already has a value in subst. should double
-;; check this is a problem by counting how many times
-;; we add to ws when x has a value in subst
-
 (defn ext-ws
   "Update the current value for a logic var using the working
    store. Returns the updated substitution."