From dacd5bc23257b5bcace334243fecc9a28c810e05 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 9 Dec 2019 10:23:25 +0100
Subject: [PATCH] remove unnecessary 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 2471844ed..fd6d6f1f3 100644
--- a/theories/heap_lang/lang.v
+++ b/theories/heap_lang/lang.v
@@ -525,7 +525,7 @@ Definition bin_op_eval_bool (op : bin_op) (b1 b2 : bool) : option base_lit :=
 
 Definition bin_op_eval_loc (op : bin_op) (l1 : loc) (v2 : base_lit) : option base_lit :=
   match op, v2 with
-  | OffsetOp, (LitInt off) => Some $ LitLoc (l1 +â‚— off)
+  | OffsetOp, LitInt off => Some $ LitLoc (l1 +â‚— off)
   | _, _ => None
   end.
 
-- 
GitLab