diff --git a/heap_lang/lang.v b/heap_lang/lang.v
index 6436b4217169c3e7d168cf06838e9d7725b05abe..dd70eb208ba234882d36a0553562cbf9bb55bdf0 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).