From dc29a939349b8a23b2fb75d89c72dcfa84e56bcb Mon Sep 17 00:00:00 2001
From: Adrien Vannson <adrien.vannson@protonmail.com>
Date: Tue, 10 May 2022 14:44:07 +0200
Subject: [PATCH] Affichage des subgoals

---
 main.ml | 3 +++
 1 file changed, 3 insertions(+)

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"