Remove invalid rule for floats

This commit is contained in:
Uwe Dauernheim 2013-02-27 08:25:19 +01:00
parent 7b29c507ac
commit ab491e31d3

View file

@ -13,7 +13,6 @@
[(< 0 ?x) (pos? ?x)]
[(> ?x 0) (pos? ?x)]
[(<= 1 ?x) (pos? ?x)]
[(< ?x 0) (neg? ?x)]