From 7f0b730a26dfd3b539af413642a8f4c0d7407c5f Mon Sep 17 00:00:00 2001
From: Ricardo Almeida <3705908+ric-almeida@users.noreply.github.com>
Date: Fri, 27 Oct 2023 14:57:53 +0100
Subject: [PATCH] Update README.md

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index daa4dc0..0972c3b 100644
--- a/README.md
+++ b/README.md
@@ -32,8 +32,8 @@ to point to a working checkout of Isla resp. Isla snapshots.)
 
 The following commits of isla and isla-snapshots are tested:
 ```
-isla: 8325ef10e6c5dea8bf73cb255746f815169c974f
-isla-snapshots: b948da37487479ea470e735ea158d62f73bf314f (riscv snapshot is outdated and does not work with isla)
+isla: 473f9986832d95b6c4ebb192bb075f2095a92df1
+isla-snapshots: b58da9170470a422c9396983ac8f87f0a63ba6f8
 ```
 
 Once all needed libraries have been installed, Islaris can be built by running `make` from its root directory.