From 86e8cead3a23cb7c7227376f8622e644cc24a3f3 Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Mon, 18 Dec 2023 14:13:49 +0100
Subject: [PATCH] Some failwith

---
 flap/src/fopix/hobixToFopix.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/flap/src/fopix/hobixToFopix.ml b/flap/src/fopix/hobixToFopix.ml
index 4a8884a..c6c570f 100644
--- a/flap/src/fopix/hobixToFopix.ml
+++ b/flap/src/fopix/hobixToFopix.ml
@@ -313,6 +313,7 @@ let translate (p : S.t) env =
         add_to_cloture env fname (T.Variable (T.Id "environment")) free_vars
       in
       T.Define (T.Id "environment", new_clot, blocks), env
+    | Some _ -> failwith "Students! This is your job (creation_cloture)!"
   (* Fonction qui initialise une cloture de taille espace
      + la taille de la liste de variable (le nombre de variable libre) *)
   and new_cloture espace list_variable =