Clarify TODO

zhassan-aws · 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 }
     }