1 files changed, 1 insertions, 1 deletions

diff --git a/README.md b/README.md
index 332889d..ec2aef0 100644
--- a/README.md
+++ b/README.md
@@ -2,4 +2,4 @@
 
 Write-up: pending
 
-Formalisation: [y_and_j.v](y_and_j/tree/master/y_and_j.v)
+Formalisation: [y_and_j.v](y_and_j.v)