Remove unnecessary check

tautschnig · Aug 2, 2024 · af32ddd · af32ddd
1 parent 75fefa9
commit af32ddd
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/tests/kani/Cast/cast_abstract_args_to_concrete.rs b/tests/kani/Cast/cast_abstract_args_to_concrete.rs
@@ -1,9 +1,6 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
 
-// https://github.com/model-checking/kani/issues/555
-// kani-flags: --no-undefined-function-checks
-
 // This regression test is in response to issue #135.
 // The type of the second parameter to powi is a `CInteger`, but
 // the type of `2` here is a `u32`. This test ensures that