From 048e219468508ad403e576ef15a416fd8d051b22 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 9 Dec 2021 19:56:42 +0000
Subject: Update README with correct link

---
 README.md  | 8 ++++----
 README.org | 3 +--
 2 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/README.md b/README.md
index baebe7a..e801149 100644
--- a/README.md
+++ b/README.md
@@ -4,8 +4,8 @@
     - [Setting up Nix](#setting-up-nix)
     - [Makefile build](#makefile-build)
   - [Running](#running)
-  - [Citation](#org741ad34)
-  - [License](#orgb089937)
+  - [Citation](#orge392203)
+  - [License](#org8a5a598)
 
 <a href="https://vericert.ymhg.org"><img src="https://vericert.ymhg.org/vericert-main.svg" width="100%" height="144" /></a>
 
@@ -109,7 +109,7 @@ To test out `vericert` you can try the following examples which are in the test
 ```
 
 
-<a id="org741ad34"></a>
+<a id="orge392203"></a>
 
 # Citation
 
@@ -132,7 +132,7 @@ If you use Vericert in any way, please cite it using our [OOPSLA&rsquo;21 paper]
 ```
 
 
-<a id="orgb089937"></a>
+<a id="org8a5a598"></a>
 
 # License
 
diff --git a/README.org b/README.org
index 6f50560..da29bb1 100644
--- a/README.org
+++ b/README.org
@@ -137,8 +137,7 @@ This project is licensed under [[https://www.gnu.org/licenses/gpl-3.0.en.html][G
 
 The following external code and its license is present in this repository:
 
-- [[/src/pipelining
-][/src/pipelining]] :: MIT
+- [[/src/pipelining][/src/pipelining]] :: MIT
 
 #+begin_src text
 Copyright (c) 2008,2009,2010 Jean-Baptiste Tristan and INRIA
-- 
cgit