cleanup, reformatting
[LeanCalc.git] / calc / libcalc.a
index c7b494e..30144f6 100644 (file)
Binary files a/calc/libcalc.a and b/calc/libcalc.a differ