Commit ee9db80d authored by Dan Frumin's avatar Dan Frumin

Fix a_store

parent a6bbb1ae
......@@ -11,7 +11,7 @@ Definition a_alloc : val := λ: "x",
Definition a_store : val := λ: "x1" "x2",
a_bind (λ: "vv",
a_atomic_env (λ: "env",
mset_add (!(Fst "vv")) "env" ;;
mset_add (Fst "vv") "env" ;;
Fst "vv" <- Snd "vv" ;;
Snd "vv"
)
......
Markdown is supported
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