Skip to content
GitLab
Commit 2da3bdf5 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Remove obsolete definition.

parent 07723dc2
Hide whitespace changes
Inline Side-by-side
heap_lang/lang.v
View file @ 2da3bdf5
......@@ -119,8 +119,6 @@ Arguments PairV _%V _%V.
Arguments InjLV _%V.
Arguments InjRV _%V.
Definition signal : val := RecV BAnon (BNamed "x") (Store (Var "x") (Lit (LitInt 1))).
Fixpoint of_val (v : val) : expr [] :=
match v with
| RecV f x e => Rec f x e
......
Supports Markdown
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