diff --git a/extern/MinaCalc/MinaCalc.lib b/extern/MinaCalc/MinaCalc.lib index f9ec3ae0d3..92ebf6d4db 100644 Binary files a/extern/MinaCalc/MinaCalc.lib and b/extern/MinaCalc/MinaCalc.lib differ