vault backup: 2023-10-26 20:58:17

This commit is contained in:
Louis Gallet 2023-10-26 20:58:17 +02:00
parent 998022df1d
commit 6625228fb7
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY

View File

@ -27,3 +27,4 @@ let pos_max lst =
pmr e cpos (cpos + 1) t
else
pmr mval mpos (cpos + 1) t
in let init_max =