vault backup: 2023-10-16 14:54:09

This commit is contained in:
Louis Gallet 2023-10-16 14:54:09 +02:00
parent 4aab4c46ec
commit 7eaa933e99
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY

View File

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