diff options
Diffstat (limited to '')
-rw-r--r-- | tests/src/string-chars.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/src/string-chars.rs b/tests/src/string-chars.rs index f8490e76..9fd91752 100644 --- a/tests/src/string-chars.rs +++ b/tests/src/string-chars.rs @@ -1,5 +1,5 @@ //@ [lean] known-failure -//@ [coq,fstar] skip +//@ [!lean] skip //@ no-check-output fn main() { let s = "hello"; |