comment change

model-checking · Nov 20, 2024 · 997db12 · 997db12
1 parent e3bb0ca
commit 997db12
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
@@ -248,7 +248,7 @@ impl<'a, 'tcx> Context<'a, 'tcx> {
                 GenericArgKind::Const(tc) => {
                     match tc.kind() {
                         TyConstKind::Param(paramtc) => {
-                            let lit_ty = CharonLiteralTy::Integer(CharonIntegerTy::I32); //TO BE CHECKED
+                            let lit_ty = CharonLiteralTy::Integer(CharonIntegerTy::I32); //TO BE CHECKED, PARAMENV
                             let c_constgeneric = CharonConstGenericVar {
                                 index: CharonConstGenericVarId::from_usize(paramtc.index as usize),
                                 name: paramtc.name.clone(),