Merge pull request #14 from Lnc/master
commit528968030e4c57738d3c0066533cec114b6a5ae4
authorperiscop <cedric.bastoul@gmail.com>
Thu, 3 Apr 2014 15:03:49 +0000 (3 17:03 +0200)
committerperiscop <cedric.bastoul@gmail.com>
Thu, 3 Apr 2014 15:03:49 +0000 (3 17:03 +0200)
tree9be3b14818ba56375cf6b3730a6bd8d792bbeb9e
parentcf05e4eacd1b153a7305d7a99dde07d0f35cdad6
parent377de1858741bd61c0dfc4a1760a8121587c64fc
Merge pull request #14 from Lnc/master

Remove useless check for GMP precision when converting osl relation