From 7f976ec3b4ed572441d6b1614d25ab432aaf2f1e Mon Sep 17 00:00:00 2001
From: Ranjit Jhala <rjhala@ucsd.edu>
Date: Mon, 23 Dec 2024 10:40:11 +0530
Subject: [PATCH] fix missing method call

---
 crates/flux-middle/src/rty/expr.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/flux-middle/src/rty/expr.rs b/crates/flux-middle/src/rty/expr.rs
index d607f595d2..bf156f451b 100644
--- a/crates/flux-middle/src/rty/expr.rs
+++ b/crates/flux-middle/src/rty/expr.rs
@@ -1403,7 +1403,7 @@ pub(crate) mod pretty {
             text += &format_cx!(cx, "{:?} ", flds[0].clone());
             Ok(NestedString { text, children: None, key: None })
         } else {
-            let keys = if let Some(genv) = cx.genv
+            let keys = if let Some(genv) = cx.genv()
                 && let Ok(adt_sort_def) = genv.adt_sort_def_of(def_id)
             {
                 adt_sort_def