Clarify TODO

model-checking · Sep 20, 2024 · f2fdc91 · f2fdc91
1 parent e41c5e7
commit f2fdc91
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kani-compiler/src/codegen_aeneas_llbc/mir_to_ullbc/mod.rs b/kani-compiler/src/codegen_aeneas_llbc/mir_to_ullbc/mod.rs
@@ -315,7 +315,7 @@ impl<'a, 'tcx> Context<'a, 'tcx> {
  rust_span_data: rustc_internal::internal(self.tcx(), span).data(),
  };
 
- // TODO
+ // TODO: populate `generated_from_span` info
  CharonSpan { span: rspan, generated_from_span: None }
  }