diff options
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/infinite-loop0.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/infinite-loop0.c b/validation/infinite-loop0.c index a2849230..0e3e3805 100644 --- a/validation/infinite-loop0.c +++ b/validation/infinite-loop0.c @@ -8,5 +8,4 @@ void foo(void) * check-name: internal infinite loop (0) * check-command: sparse -Wno-decl $file * check-timeout: - * check-known-to-fail */ |