X-Git-Url: http://www.entropy.ch/git/LeanCalc.git/blobdiff_plain/35647fe5bb886a01e901be22bd135acb2eb10eea..c63394a796dd31e2e7ccdc85e2630629e90080c6:/calc/libcustcalc.a

diff --git a/calc/libcustcalc.a b/calc/libcustcalc.a
index cb812d3..6ee9b1d 100644
Binary files a/calc/libcustcalc.a and b/calc/libcustcalc.a differ