diff --git a/tests/ui/attr-invariant/no-struct-error/expected b/tests/ui/attr-invariant/no-struct-error/expected
index 819d9caa9916..7910d234aaf1 100644
--- 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)]
    | ^^^^^^^^^^^^^^^^^^^^^^^^