fix missing method call

flux-rs · Dec 23, 2024 · 7f976ec · 7f976ec
1 parent 1872244
commit 7f976ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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