From 29cfc1b3c196e3a3424a90a90c7e41a4e2362ebf Mon Sep 17 00:00:00 2001
From: tslil clingman <>
Date: Wed, 17 Jul 2019 10:59:22 -0400
Subject: Fixed link

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

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)
-- 
cgit v1.2.3