diff --git a/main.ml b/main.ml
index cb9e6b7..0f15308 100644
--- a/main.ml
+++ b/main.ml
@@ -84,6 +84,9 @@ while !subgoals <> [] do
         (* Affichage des sous-buts *)
         Printf.printf "================\n";
         Printf.printf "%s\n" (string_of_ty ty);
+        List.iter (fun (ty, _) ->
+            Printf.printf "%s\n" (string_of_ty ty)
+        ) !subgoals;
 
         (* Lecture d'une tactique *)
         Printf.printf "What do you want to do?\n"