Remove useless check for GMP precision when converting osl relation
commit377de1858741bd61c0dfc4a1760a8121587c64fc
authorLnc <hnc@singularity.fr>
Wed, 2 Apr 2014 13:53:30 +0000 (2 15:53 +0200)
committerLnc <hnc@singularity.fr>
Wed, 2 Apr 2014 13:53:30 +0000 (2 15:53 +0200)
tree9be3b14818ba56375cf6b3730a6bd8d792bbeb9e
parentcf05e4eacd1b153a7305d7a99dde07d0f35cdad6
Remove useless check for GMP precision when converting osl relation
source/isl/domain.c