Update crates/flux-fhir-analysis/src/wf/sortck.rs

Co-authored-by: Nico Lehmann <[email protected]>
flux-rs · Nov 1, 2023 · 104fd50 · 104fd50
1 parent f53ba6f
commit 104fd50
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/crates/flux-fhir-analysis/src/wf/sortck.rs b/crates/flux-fhir-analysis/src/wf/sortck.rs
@@ -208,7 +208,6 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
             }
             fhir::ExprKind::Dot(var, fld) => {
                 let sort = self[var.name].clone();
-                // println!("TRACE: synth_expr {:?} ==> {sort:?}", var.source_info.name);
                 match &sort {
                     fhir::Sort::Record(def_id, sort_args) => {
                         self.genv