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";