diff --git a/extern/MinaCalc/libMinaCalc.a b/extern/MinaCalc/libMinaCalc.a
index 9abca893f9..01c78b40a0 100644
Binary files a/extern/MinaCalc/libMinaCalc.a and b/extern/MinaCalc/libMinaCalc.a differ