From 84188aac8b002aebf5067adee31e1ce1e642cd04 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Fri, 7 Dec 2018 17:30:09 +0100
Subject: [PATCH] Inconsistent indenting.

---
 theories/base_logic/lib/wsat.v | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/theories/base_logic/lib/wsat.v b/theories/base_logic/lib/wsat.v
index ccd63aa52..3dc30ee42 100644
--- a/theories/base_logic/lib/wsat.v
+++ b/theories/base_logic/lib/wsat.v
@@ -28,9 +28,8 @@ Module invG.
     disabled_inPreG :> inG Σ (gset_disjR positive);
   }.
 
-Instance subG_invΣ {Σ} : subG invΣ Σ → invPreG Σ.
-Proof. solve_inG. Qed.
-
+  Instance subG_invΣ {Σ} : subG invΣ Σ → invPreG Σ.
+  Proof. solve_inG. Qed.
 End invG.
 Import invG.
 
-- 
GitLab