vault backup: 2023-10-16 14:57:34

This commit is contained in:
Louis Gallet 2023-10-16 14:57:34 +02:00
parent 7eaa933e99
commit f625d132c9
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY

View File

@ -251,6 +251,6 @@ let assos k l =
invalid_arg "k not natural"
else
match l with
| -> failwith "not found"
| -> failwith "not found"
| (k,y)::t -> y
| _ -> assos k t