Commit 648260de authored by Gaurav Parthasarathy's avatar Gaurav Parthasarathy

small fix in code description

parent 85953ff4
...@@ -28,8 +28,8 @@ Set Default Proof Using "Type". ...@@ -28,8 +28,8 @@ Set Default Proof Using "Type".
*) *)
(* (*
new_rdcss() := new_rdcss(init_v) :=
let l_n = ref ( ref(injL 0) ) in let l_n = ref ( ref(injL init_v) ) in
ref l_n ref l_n
*) *)
Definition new_rdcss : val := Definition new_rdcss : val :=
......
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