X-Git-Url: http://www.entropy.ch/git/LeanCalc.git/blobdiff_plain/b06626b06874ceb58dec25471f51583488f5ea93..f5fbaceee4c5c117ef600df1362fa90333ed8bc9:/calc/libcalc.a

diff --git a/calc/libcalc.a b/calc/libcalc.a
index 30144f6..87d1119 100644
Binary files a/calc/libcalc.a and b/calc/libcalc.a differ