Affichage des hypothèses

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