From 5275bd9738278793cbc7b6ae9fcf10d7a8e36bda Mon Sep 17 00:00:00 2001 From: Ranjit Jhala Date: Tue, 17 Dec 2024 10:31:54 -0800 Subject: [PATCH] fix merge bug --- crates/flux-common/src/dbg.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/flux-common/src/dbg.rs b/crates/flux-common/src/dbg.rs index 471d08fd97..1876b8c875 100644 --- a/crates/flux-common/src/dbg.rs +++ b/crates/flux-common/src/dbg.rs @@ -77,7 +77,7 @@ macro_rules! _statement{ let genv = ck.genv; let local_names = &ck.body.local_names; let local_decls = &ck.body.local_decls; - let rcx_json = RefineCtxtTrace::new(genv, $rcx); + let rcx_json = RefineCtxtTrace::new(genv, rcx); let env_json = TypeEnvTrace::new(genv, local_names, local_decls, $env); let span_json = SpanTrace::new(genv, $span); tracing::info!(event = concat!("statement_", $pos), stmt = ?$stmt, stmt_span = ?$span, rcx = ?rcx, env = ?$env, rcx_json = ?rcx_json, env_json = ?env_json, stmt_span_json = ?span_json)