Remove extraneous arg

model-checking · Aug 23, 2024 · 6b76832 · 6b76832
1 parent 69fd136
commit 6b76832
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/kani-compiler/src/args.rs b/kani-compiler/src/args.rs
@@ -82,9 +82,6 @@ pub enum ExtraChecks {
     /// Check that produced values are valid except for uninitialized values.
     /// See https://github.com/model-checking/kani/issues/920.
     Validity,
-    /// Check pointer validity when casting pointers to references.
-    /// See https://github.com/model-checking/kani/issues/2975.
-    PtrToRefCast,
     /// Check for violations of pointer aliasing model
     Aliasing,
     /// Check for using uninitialized memory.