Fix test

viperproject · Nov 28, 2023 · 02773bf · 02773bf
1 parent ddec7f8
commit 02773bf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prusti-tests/tests/verify/fail/incorrect/old_in_pure_postcondition.rs b/prusti-tests/tests/verify/fail/incorrect/old_in_pure_postcondition.rs
@@ -16,7 +16,7 @@ impl<T> std::option::Option<T> {
 #[requires(x.is_some())]
 fn test(x: Option<i32>) -> i32 {
     // Following error is due to stub encoding of invalid external spec for function `unwrap()`
-    x.unwrap() // ~ ERROR precondition of pure function call might not hold
+    x.unwrap() //~ ERROR precondition of pure function call might not hold
 }
 
 fn main() { }