Pointless zero compare rule

This commit is contained in:
Paul deGrandis 2012-03-08 13:48:36 -05:00
parent 58bcdea6e8
commit 4018c4fdef

View file

@ -17,5 +17,6 @@
(< ?x 0) (neg? ?x)
(= ?x ?x) true
(== ?x ?x) true})
(== ?x ?x) true
(zero? 0) true})