From 5304002158d0c2037f49e62b692b1c6cb999a4e2 Mon Sep 17 00:00:00 2001
From: Adrien Vannson <adrien.vannson@protonmail.com>
Date: Mon, 9 May 2022 00:18:22 +0200
Subject: [PATCH] =?UTF-8?q?Affichage=20des=20hypoth=C3=A8ses?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.ml b/main.ml
index 47f0861..2d37e46 100644
--- a/main.ml
+++ b/main.ml
@@ -70,7 +70,7 @@ while !subgoals <> [] do
         let _ = Sys.command("clear -x") in
 
         (* Affichage des hypothèses *)
-        Printf.printf "There are %d hypothesis\n" (List.length hyp);
+        List.iter (fun (var, h) -> Printf.printf "%s: %s\n" var (string_of_ty h)) hyp;
 
         (* Affichage des sous-buts *)
         Printf.printf "================\n";