1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/compile-fail/tstate-unsat-in-called-fn-expr.rs b/src/test/compile-fail/tstate-unsat-in-called-fn-expr.rs
index 010ac92f7b0..24cfa527e95 100644
--- a/src/test/compile-fail/tstate-unsat-in-called-fn-expr.rs
+++ b/src/test/compile-fail/tstate-unsat-in-called-fn-expr.rs
@@ -2,7 +2,7 @@ fn foo(v: [int]) : vec::is_empty(v) { #debug("%d", v[0]); }
 
 fn main() {
     let f = fn@() {
-        let v = [1];
+        let v = [1]/~;
         foo(v); //! ERROR unsatisfied precondition constraint
     }();
     log(error, f);