From c31eb7e5893395ca1b6827be7b67b9259e185e2c Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 9 Oct 2024 10:59:21 +0200
Subject: [PATCH] fix link to orc11 sources

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

diff --git a/README.md b/README.md
index 1752c5d2..75f9e9e2 100644
--- a/README.md
+++ b/README.md
@@ -34,7 +34,7 @@ CPU cores.
 ORC11 provides an operational version of [RC11] without SC accesses and SC fences,
 and with a race detector for non-atomics.
 
-In [thread.v](orc11/thread.v), the definition of the semantics
+In [thread.v](gpfsl/orc11/thread.v), the definition of the semantics
 is decomposed into 3 relations `lbl_machine_step`, `drf_pre`, and `drf_post`.
 `lbl_machine_step` concerns the main semantics of views, while `drf_pre` and
 `drf_post` implement the race detector (Section 5.1 of the RBrlx paper).
-- 
GitLab