Skip to content
Snippets Groups Projects
Commit 310ee9d1 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Remove unused notation "^^ e" in heap_lang.

parent 8b3a3d96
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 1 deletion
heap_lang/notation.v
+ 0
− 1
View file @ 310ee9d1
...@@ -35,7 +35,6 @@ Notation "% l" := (Loc l) (at level 8, format "% l") : expr_scope. ...@@ -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 "' x" := (Var x) (at level 8, format "' x") : expr_scope.
Notation "^ v" := (of_val' v%V) (at level 8, format "^ v") : 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 (** Syntax inspired by Coq/Ocaml. Constructions with higher precedence come
first. *) first. *)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment