Skip to content

Commit

Permalink
Nit
Browse files Browse the repository at this point in the history
  • Loading branch information
Alejandro Aguirre committed Feb 8, 2024
1 parent 9bdde8f commit 30ed1b3
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion theories/prob_lang/ctx_subst.v
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,8 @@ Definition subst_map_ctx_item (es : stringmap val) (K : ectx_item) :=
| InjLCtx => InjLCtx
| InjRCtx => InjRCtx
| CaseCtx e1 e2 => CaseCtx (subst_map es e1) (subst_map es e2)
| AllocCtx => AllocCtx
| AllocNLCtx v2 => AllocNLCtx v2
| AllocNRCtx e1 => AllocNRCtx (subst_map es e1)
| LoadCtx => LoadCtx
| StoreLCtx v2 => StoreLCtx v2
| StoreRCtx e1 => StoreRCtx (subst_map es e1)
Expand Down

0 comments on commit 30ed1b3

Please sign in to comment.