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