aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers/Named/EstablishLiveness.v
diff options
context:
space:
mode:
Diffstat (limited to 'src/Compilers/Named/EstablishLiveness.v')
-rw-r--r--src/Compilers/Named/EstablishLiveness.v2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Compilers/Named/EstablishLiveness.v b/src/Compilers/Named/EstablishLiveness.v
index c2d6c273a..706327918 100644
--- a/src/Compilers/Named/EstablishLiveness.v
+++ b/src/Compilers/Named/EstablishLiveness.v
@@ -50,7 +50,7 @@ Section language.
: list liveness
:= match e with
| TT => prefix
- | Var t' name => match lookup ctx (Tbase t') name with
+ | Var t' name => match lookup (Tbase t') ctx name with
| Some ls => ls
| _ => nil
end