From a0e0e9166aadce2237ba6f3e41e6cbc85b3e6fb0 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Wed, 26 Feb 2020 09:03:21 +0100
Subject: [PATCH] Fix typo.

---
 docs/style_guide.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/style_guide.md b/docs/style_guide.md
index 65fd05759..43c689e28 100644
--- a/docs/style_guide.md
+++ b/docs/style_guide.md
@@ -3,7 +3,7 @@
 This document lays down syntactic conventions about how we usually write our
 Iris proofs in Coq.  It is a work-in-progress.  This complements the tactic
 documentation for the [proof mode](./proof_mode.md) and [HeapLang](./heap_lang.md) as
-well as the [proof guide](.doco/proof_guide.md).
+well as the [proof guide](./proof_guide.md).
 
 ## Implicit generalization
 
-- 
GitLab