From f615c37d2ccb4135bb82f203f96935bef00c4b7a Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 28 Oct 2017 18:00:01 +0200
Subject: [PATCH] README: fix link

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

diff --git a/README.md b/README.md
index b211567a..f0767963 100644
--- a/README.md
+++ b/README.md
@@ -32,7 +32,7 @@ Notably:
   [bug in Coq](https://github.com/coq/coq/issues/6030).
 * The behavior of `Program` is tweaked: `Unset Transparent Obligations`,
   `Obligation Tactic := idtac`, `Add Search Blacklist "_obligation_"`.  See
-  [`base.v`](`theories/base.v`) for further details.
+  [`base.v`](theories/base.v) for further details.
 
 ## History
 
-- 
GitLab