From e561f965c091e29d13cafc325bf75735f782b3b7 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 28 May 2019 21:38:56 +0200
Subject: [PATCH] Remove useless parentheses.

---
 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 a8b975d48..e1585242f 100644
--- a/theories/heap_lang/lang.v
+++ b/theories/heap_lang/lang.v
@@ -465,7 +465,7 @@ Definition state_upd_used_proph_id (f: gset proph_id â†’ gset proph_id) (Ïƒ: sta
   {| heap := Ïƒ.(heap); used_proph_id := f Ïƒ.(used_proph_id) |}.
 Arguments state_upd_used_proph_id _ !_ /.
 
-Inductive head_step : expr â†’ state â†’ list observation â†’ expr â†’ state â†’ list (expr) â†’ Prop :=
+Inductive head_step : expr â†’ state â†’ list observation â†’ expr â†’ state â†’ list expr â†’ Prop :=
   | RecS f x e Ïƒ :
      head_step (Rec f x e) Ïƒ [] (Val $ RecV f x e) Ïƒ []
   | PairS v1 v2 Ïƒ :
-- 
GitLab