Fix another test

model-checking · Jul 9, 2024 · 52273cb · 52273cb
1 parent 42b415c
commit 52273cb
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/tests/ui/attr-invariant/no-struct-error/expected b/tests/ui/attr-invariant/no-struct-error/expected
@@ -1,5 +1,4 @@
 error: Cannot define invariant for `MyEnum`
-  --> no-struct-error.rs:9:1
    |
 9  | #[kani::invariant(true)]
    | ^^^^^^^^^^^^^^^^^^^^^^^^