From 839df712eeb0a6d2c7c4f92e0ba78615d48ca007 Mon Sep 17 00:00:00 2001 From: Artem Agvanian Date: Tue, 2 Jul 2024 11:35:11 -0700 Subject: [PATCH] Update incorrect comment in `uninit_visitor.rs` --- .../src/kani_middle/transform/check_uninit/uninit_visitor.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kani-compiler/src/kani_middle/transform/check_uninit/uninit_visitor.rs b/kani-compiler/src/kani_middle/transform/check_uninit/uninit_visitor.rs index 1f3b39c21c10..19b13c6ab8b6 100644 --- a/kani-compiler/src/kani_middle/transform/check_uninit/uninit_visitor.rs +++ b/kani-compiler/src/kani_middle/transform/check_uninit/uninit_visitor.rs @@ -24,7 +24,7 @@ pub enum MemoryInitOp { /// Set memory initialization state of data bytes in a memory region starting from the pointer /// `operand` and of length `count * sizeof(operand)` bytes. Set { operand: Operand, count: Operand, value: bool, position: InsertPosition }, - /// Check memory initialization of data bytes in a memory region starting from the reference to + /// Set memory initialization of data bytes in a memory region starting from the reference to /// `operand` and of length `count * sizeof(operand)` bytes. SetRef { operand: Operand, count: Operand, value: bool, position: InsertPosition }, /// Unsupported memory initialization operation.