From 5bf8a6dd360b46783be8cbc30160d9d5438a5d41 Mon Sep 17 00:00:00 2001
From: LUMINEAU NICOLAS <nicolas.lumineau@univ-lyon1.fr>
Date: Mon, 27 Mar 2023 10:37:57 +0000
Subject: [PATCH] typo option

---
 tp/tp5.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tp/tp5.md b/tp/tp5.md
index f46b218..2fde137 100644
--- a/tp/tp5.md
+++ b/tp/tp5.md
@@ -171,7 +171,7 @@ On va maintenant créer dans le module `Usine` un type `configuration` qui sera
 Définir ce type dans `usine.ml`:
 
 ```ocaml
-type configuration = (string -> option string) * (string -> string -> option int);;
+type configuration = (string -> string option) * (string -> string -> int option);;
 ```
 
 Dans `usine.mli` on va en revanche, on va masquer les détails de la définition et juste conserver le nom du type:
-- 
GitLab