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
index cec934ab1522..9413fb67b572 100644
--- 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 }
     }