From 60ad675e71a7ad32d1d39fa24a54c6c2d27308ec Mon Sep 17 00:00:00 2001
From: Bruce Collie <brucecollie82@gmail.com>
Date: Wed, 3 Jul 2024 16:17:38 +0100
Subject: [PATCH] Update proof test

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

diff --git a/k-distribution/tests/regression-new/proof-instrumentation-debug/input.test.out b/k-distribution/tests/regression-new/proof-instrumentation-debug/input.test.out
index 0bc6c9ed61a90b495a0a08aa9855d3335195c717..e85e8142c6fd619433b56b60f395b8f2b634361d 100644
GIT binary patch
delta 123
zcmey!{gHdZQAUBu0ZghBUoQtUbSEER<bw+B;Ds<I$1`(JzQw{j*`7%NEE0qyewj%a
g%rl)V!z>FIuY<CfSv27+naz1Dsf>(rlPy_g0gApKtN;K2

delta 123
zcmey!{gHdZQAVN30ZghBUoQtUbSEER<bw+B;Ds<I$1`(JzQw{j*`7%NEE0qyewj%a
g%rl)V!z>FIuY<CfSv27+naz1Dsf>&=lPy_g0gwnEz5oCK