diff -r e89709b80b6e -r cdb9c7d41a41 src/HOL/SMT_Examples/VCC_Max.certs
--- a/src/HOL/SMT_Examples/VCC_Max.certs	Fri Mar 11 09:22:13 2022 +0100
+++ b/src/HOL/SMT_Examples/VCC_Max.certs	Fri Mar 11 09:23:05 2022 +0100
@@ -1,4 +1,4 @@
-bb3039fa3c51c2ff1e3d9c4077fcbaf0fc7ae1b5 2924 0
+49e1416aaa3d82d5c60160b24fb878147b44ee17 2924 0
 unsat
 ((set-logic <null>)
 (declare-fun ?v0!15 () Int)