From 618c276799fed6304b95f8fa859ad65cb09e3d35 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 13 Jun 2018 15:06:49 +0200
Subject: [PATCH] fix alignment

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

diff --git a/theories/heap_lang/lang.v b/theories/heap_lang/lang.v
index aea432737..f8d167e59 100644
--- a/theories/heap_lang/lang.v
+++ b/theories/heap_lang/lang.v
@@ -407,7 +407,7 @@ Inductive head_step : expr → state → expr → state → list (expr) → Prop
      to_val e1 = Some v1 → to_val e2 = Some v2 →
      σ !! l = Some v1 →
      head_step (CAS (Lit $ LitLoc l) e1 e2) σ (Lit $ LitBool true) (<[l:=v2]>σ) []
-   | FaaS l i1 e2 i2 σ :
+  | FaaS l i1 e2 i2 σ :
      to_val e2 = Some (LitV (LitInt i2)) →
      σ !! l = Some (LitV (LitInt i1)) →
      head_step (FAA (Lit $ LitLoc l) e2) σ (Lit $ LitInt i1) (<[l:=LitV (LitInt (i1 + i2))]>σ) [].
-- 
GitLab