From f6b6b36f47909fe8a089c16efdb87372154e7efa Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 29 Jun 2022 16:45:59 -0700
Subject: [PATCH] chore: indentation

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

diff --git a/RELEASES.md b/RELEASES.md
index fb5e11873e..2225732059 100644
--- a/RELEASES.md
+++ b/RELEASES.md
@@ -212,7 +212,7 @@ Unreleased
     | true => isTrue (_ : n = m)
     | false => isFalse (_ : ¬n = m)
   -/
-```
+  ```
 
 * `exists` tactic is now takes a comma separated list of terms.