remove comment

model-checking · Feb 5, 2025 · cd8e94c · cd8e94c
1 parent 2a44655
commit cd8e94c
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/tests/ui/cbmc_checks/float-overflow/check_message_overflow.rs b/tests/ui/cbmc_checks/float-overflow/check_message_overflow.rs
@@ -1,7 +1,6 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
 //
-// Check we don't print temporary variables as part of CBMC messages.
 // This test verifies that Kani does not report floating-point overflow by default
 // for operations that result in +/-Infinity.
 extern crate kani;