Restore test case unrelated to Lithium

viperproject · Oct 27, 2023 · 7664629 · 7664629
1 parent 09066e1
commit 7664629
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/prusti-tests/tests/verify/ui/forall_verify.stderr b/prusti-tests/tests/verify/ui/forall_verify.stderr
@@ -11,12 +11,6 @@ note: the error originates here
    | ^^^^^^^^^^^^^
 
 error: [Prusti: verification error] postcondition might not hold.
-  --> $DIR/forall_verify.rs:31:11
-   |
-31 | #[ensures(exists(|x: i32| identity(x) == x + 1))]
-   |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-   |
-note: the error originates here
   --> $DIR/forall_verify.rs:32:1
    |
 32 | fn test6() {}