diff --git a/theories/heap_lang/lang.v b/theories/heap_lang/lang.v
index 2471844ed467152f8ac4c1059045fcfd0fcf69de..fd6d6f1f38c80c5cfd416a243d36644adf6bccf9 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.