diff options
Diffstat (limited to 'src/Reflection/Named/EstablishLiveness.v')
| -rw-r--r-- | src/Reflection/Named/EstablishLiveness.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Reflection/Named/EstablishLiveness.v b/src/Reflection/Named/EstablishLiveness.v index b9d283013..b2be2d19b 100644 --- a/src/Reflection/Named/EstablishLiveness.v +++ b/src/Reflection/Named/EstablishLiveness.v @@ -62,7 +62,7 @@ Section language. | LetIn tx n ex _ eC => let lx := @compute_livenessf ctx _ ex prefix in let lx := merge_liveness lx (prefix ++ repeat live (count_pairs tx)) in - let ctx := extend ctx n (SmartVal _ (fun _ => lx) tx) in + let ctx := extend ctx n (SmartValf _ (fun _ => lx) tx) in @compute_livenessf ctx _ eC (prefix ++ repeat dead (count_pairs tx)) | Pair _ ex _ ey => merge_liveness (@compute_livenessf ctx _ ex prefix) |