X-Git-Url: http://www.entropy.ch/git/LeanCalc.git/blobdiff_plain/3dfd487304453e1e5546a01add449fdc45de3454..ffa749385a50695ec814776fa667d9f1f267b47c:/calc/libcustcalc.a

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