From 1421641bdaaf3d3296c421126d7e1a4daee17d89 Mon Sep 17 00:00:00 2001 From: Louis Date: Tue, 5 Sep 2023 19:51:08 +0200 Subject: [PATCH] vault backup: 2023-09-05 19:51:08 --- Algo/Séminaire/Exercices sémaines.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Algo/Séminaire/Exercices sémaines.md b/Algo/Séminaire/Exercices sémaines.md index 5057a85..718be53 100644 --- a/Algo/Séminaire/Exercices sémaines.md +++ b/Algo/Séminaire/Exercices sémaines.md @@ -58,6 +58,6 @@ let time_of_sec s = let hours = s/3600 in let minutes = (s - hours*3600)/60 in let seconds = s - hours *3600 - minutes * 60 in (hours, minutes, seconds);; let add_times h1 m1 s1 h2 m2 s2 = - let sec1 = sec_of_time(h1 m1 s1) and sec2 = sec_of_time(h2 m2 s2) in let resultsec = sec1 + sec2 in time_of_sec(resultsec) ;; + let sec1 = sec_of_time h1 m1 s1 and sec2 = sec_of_time h2 m2 s2 in let resultsec = sec1 + sec2 in time_of_sec resultsec ;; ```