From 96237eea80003cd8045d41c7aa843261c81ccbd8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <l.gaeher@posteo.de>
Date: Thu, 28 Jul 2022 15:23:50 +0200
Subject: [PATCH] fix reference for chapter 10

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

diff --git a/STRUCTURE.md b/STRUCTURE.md
index 111567f..098f49e 100644
--- a/STRUCTURE.md
+++ b/STRUCTURE.md
@@ -137,4 +137,4 @@ Notes on exercises:
 | 10.3    | `concurrent_logrel/`                                              |
 
 Notes on exercises:
-* The exercise for verifying the channel implementation (Section 10.3) is located in `axiomatic/concurrency.v`.
+* The exercise for verifying the channel implementation (Section 10.3) is located in `concurrency.v`.
-- 
GitLab