From 615d8a726a7e98ffe63587ca18ccf4bc9077a078 Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Mon, 30 Oct 2023 10:17:52 +0100
Subject: [PATCH] vault backup: 2023-10-30 10:17:51

---
 Exam.md | 29 ++++++++++++++---------------
 1 file changed, 14 insertions(+), 15 deletions(-)

diff --git a/Exam.md b/Exam.md
index 07cc218..68f25cb 100644
--- a/Exam.md
+++ b/Exam.md
@@ -1,21 +1,20 @@
 ## Multiple insertion
 ```
 # let insert_mult n x lst =
-  if n <= 0 then
-    invalid_arg "insert_mult: n must be > 0"
-  else
-    let rec aux count = function
-      | [] -> []
-      | e::t ->
-          if (count = n) then
-            e :: x :: aux 1 t
-          else
-            e :: aux (count + 1) t
-    in
-    match lst with
-    | [] -> []
-    | z::f -> z :: aux 0 f
-
+	if n <= 0 then
+		invalid_arg "insert_mult: n must be > 0"
+	else
+	    let rec aux count = function
+	      | [] -> []
+	      | e::t ->
+	          if (count = n) then
+		        e :: x :: aux 1 t
+	          else
+		        e :: aux (count + 1) t
+	    in
+		    match lst with
+			    | [] -> []
+			    | z::f -> z :: aux 0 f
 val insert_mult: int -> 'a -> 'a list -> 'a list = <fun>
 ```