From fd3f2994dd886dbb820635c925e325c157b9525a Mon Sep 17 00:00:00 2001
From: Yutaka Ng <7411634+yutakang@users.noreply.github.com>
Date: Fri, 6 Oct 2023 22:55:10 +0100
Subject: [PATCH] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 66ca58a3..b79ca36c 100644
--- a/README.md
+++ b/README.md
@@ -98,4 +98,4 @@ We also plan to improve the proof automation using evolutionary computation. We
 ![Screenshot](./image/screen_shot_tall.png)
 
 ### Abduction Prover example
-![Screenshot](./image/screenshot_prod06.png)
+![Screenshot](./image/screenshot_abduction_prover.png)