From 837c9df9cd289aa89705dbfa157bc7dc6a484f69 Mon Sep 17 00:00:00 2001
From: "Griffin, Matt J (PG/R - Computer Science)" <matt.griffin@surrey.ac.uk>
Date: Tue, 28 Feb 2023 11:43:31 +0000
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index c0400a0..3fc1c84 100644
--- a/README.md
+++ b/README.md
@@ -16,6 +16,7 @@ spectre-db/
 │     └─ [vulnerability-alias]/
 │        ├─ README.md
 │        ├─ [vulnerability].c
+│        ├─ [toy-semantics].thy
 │        └─ [architecture-triplet]/
 │           └─ [compiler]/
 |              ├─ README.md
-- 
GitLab