Commit 3c49fbca authored by Jonas Kastberg Hinrichsen's avatar Jonas Kastberg Hinrichsen
Browse files

Minor clean-up

parent 41c9132a
......@@ -21,8 +21,6 @@ Section logrel.
Context `{!heapG Σ} (N : namespace).
Context `{!logrelG Σ}.
Notation stype_iprop := (@stypeC (laterC (iProp Σ))).
Record st_name := SessionType_name {
st_c_name : chan_name;
st_l_name : gname;
......
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