vault backup: 2023-09-25 14:49:16

This commit is contained in:
Louis Gallet 2023-09-25 14:49:16 +02:00
parent 9d5090db08
commit 3ae2872e19
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY

View File

@ -450,4 +450,5 @@ let prime n =
if n < 1 then
invalid_args "n should not be inferior to zero"
else if x = 2 then true
else
let rec pr a