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
index d4ea7c12d18..01faa27f922 100644
--- 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() { }