From 7c97db5e89de36052d79de76282fda8725c58a30 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Mon, 10 Oct 2016 11:50:36 +0200
Subject: [PATCH] Remove superfluous whitespace.

---
 heap_lang/lang.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/heap_lang/lang.v b/heap_lang/lang.v
index 6436b4217..dd70eb208 100644
--- a/heap_lang/lang.v
+++ b/heap_lang/lang.v
@@ -164,7 +164,7 @@ Inductive ectx_item :=
   | LoadCtx
   | StoreLCtx (e2 : expr)
   | StoreRCtx (v1 : val)
-  | CasLCtx (e1 : expr)  (e2 : expr)
+  | CasLCtx (e1 : expr) (e2 : expr)
   | CasMCtx (v0 : val) (e2 : expr)
   | CasRCtx (v0 : val) (v1 : val).
 
-- 
GitLab