diff options
author | Jason Gross <jgross@mit.edu> | 2018-05-05 17:59:20 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-05-05 18:01:31 -0400 |
commit | 4f8e1895e803241233ddf88de8c5c6bd7a970f13 (patch) | |
tree | 729a1a83f0bb238b1bb4a5f231de930e8942b35a /src/Experiments | |
parent | 46255da52b642f2b4307a6925859b8e3ec9d6d81 (diff) |
Update comment
Diffstat (limited to 'src/Experiments')
-rw-r--r-- | src/Experiments/PartialEvaluationWithLetIn.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Experiments/PartialEvaluationWithLetIn.v b/src/Experiments/PartialEvaluationWithLetIn.v index 323e306cf..e64a2ae9d 100644 --- a/src/Experiments/PartialEvaluationWithLetIn.v +++ b/src/Experiments/PartialEvaluationWithLetIn.v @@ -514,7 +514,7 @@ Module partial. := List.map (fun a => match a with - | inl (st, e) (* list chunk *) + | inl (st, e) => match annotate _ st with | None => e | Some cst => ###cst @ e |