From f2fdc916d142542782e9baa452205dd851c99195 Mon Sep 17 00:00:00 2001
From: Zyad Hassan <zyadh@amazon.com>
Date: Fri, 20 Sep 2024 16:28:28 -0700
Subject: [PATCH] Clarify TODO

---
 kani-compiler/src/codegen_aeneas_llbc/mir_to_ullbc/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 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
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 }
     }