From 1a17276b0561b61b68bf9808f3d51fd91e5f3aef Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 5 Jul 2016 18:21:15 +0200
Subject: [PATCH] And another one.

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

diff --git a/ProofMode.md b/ProofMode.md
index 834e8ef3b..692c7568c 100644
--- a/ProofMode.md
+++ b/ProofMode.md
@@ -140,7 +140,7 @@ which results in:
         x : nat
         H : x = 0
         ______________________________________(1/1)
-				"HQ" : Q
+        "HQ" : Q
         "HR" : R
         --------------------------------------â–¡
         R ★ Q ∧ x = 1
-- 
GitLab