diff options
Diffstat (limited to '')
-rw-r--r-- | tests/run-coverage/tight_inf_loop.rs | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tests/run-coverage/tight_inf_loop.rs b/tests/run-coverage/tight_inf_loop.rs deleted file mode 100644 index cef99027a..000000000 --- a/tests/run-coverage/tight_inf_loop.rs +++ /dev/null @@ -1,5 +0,0 @@ -fn main() { - if false { - loop {} - } -} |