From a9ab8783688db354e7b51da9a6964a718e5dbea1 Mon Sep 17 00:00:00 2001
From: Roberto Rosmaninho <robertogomes@dcc.ufmg.br>
Date: Fri, 13 Dec 2024 15:46:24 -0300
Subject: [PATCH] Updating proof binary

---
 .../proof-instrumentation/input.test.out        | Bin 896 -> 964 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/k-distribution/tests/regression-new/proof-instrumentation/input.test.out b/k-distribution/tests/regression-new/proof-instrumentation/input.test.out
index 46c83b90bc1ad6cd3d33def10d74256b86802860..24aac4eaccee69ebb8c3a6dd0dd66b46d323aaee 100644
GIT binary patch
delta 74
pcmZo*Kf=Btj!8Zg3c4Af049(O=1-1h@|J=LC8DcInmmu`5dfU85<LI_

delta 18
acmX@Y-oU;gj%nfyiODmV3?{!~x&;71-v?R%