Skip to content

Commit

Permalink
LOGIC-83: fix typo in test
Browse files Browse the repository at this point in the history
  • Loading branch information
swannodette committed Mar 18, 2013
1 parent c372122 commit ae66b6f
Showing 1 changed file with 7 additions and 6 deletions.
13 changes: 7 additions & 6 deletions src/test/clojure/clojure/core/logic/tests.clj
Expand Up @@ -1141,20 +1141,21 @@
'(1))))

(defrel rel2 ^:index e ^:index a ^:index v)

(facts rel2 [[:e1 :a1 :v1]
[:e1 :a2 :v2]])

(retractions rel2 [[:e1 :a1 :v1]
[:e1 :a1 :v1]
[:e1 :a2 :v2]])

(deftest rel2-dup-retractions
(is (= (run* [out]
(fresh [e a v]
(rel2 e :a1 :v1)
(rel2 e a v)
(== [e a v] out))))
'()))

(fresh [e a v]
(rel2 e :a1 :v1)
(rel2 e a v)
(== [e a v] out)))
'())))

;; -----------------------------------------------------------------------------
;; nil in collection
Expand Down

0 comments on commit ae66b6f

Please sign in to comment.