From 310ee9d1e260044df910cebd6a846d9f08a676c8 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 19 Apr 2016 22:57:26 +0200
Subject: [PATCH] Remove unused notation "^^ e" in heap_lang.
---
heap_lang/notation.v | 1 -
1 file changed, 1 deletion(-)
diff --git a/heap_lang/notation.v b/heap_lang/notation.v
index bbe0624c8..1789ac8f3 100644
--- a/heap_lang/notation.v
+++ b/heap_lang/notation.v
@@ -35,7 +35,6 @@ Notation "% l" := (Loc l) (at level 8, format "% l") : expr_scope.
Notation "' x" := (Var x) (at level 8, format "' x") : expr_scope.
Notation "^ v" := (of_val' v%V) (at level 8, format "^ v") : expr_scope.
-Notation "^^ e" := (wexpr' e%E) (at level 8, format "^^ e") : expr_scope.
(** Syntax inspired by Coq/Ocaml. Constructions with higher precedence come
first. *)
--
GitLab