From 2c93da3be2a88c222efda21efa783b124c77f9f9 Mon Sep 17 00:00:00 2001
From: tslil clingman <>
Date: Wed, 17 Jul 2019 11:35:22 -0400
Subject: Markdown formatting

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

diff --git a/README.md b/README.md
index ec2aef0..d9addee 100644
--- a/README.md
+++ b/README.md
@@ -2,4 +2,4 @@
 
 Write-up: pending
 
-Formalisation: [y_and_j.v](y_and_j.v)
+Formalisation: [y_and_j.v](y\_and\_j.v)
-- 
cgit v1.2.3