diff options
Diffstat (limited to 'tests/src/infinite-loop.rs')
| -rw-r--r-- | tests/src/infinite-loop.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tests/src/infinite-loop.rs b/tests/src/infinite-loop.rs index 906fc1fa..0e247d20 100644 --- a/tests/src/infinite-loop.rs +++ b/tests/src/infinite-loop.rs @@ -1,4 +1,3 @@ -//@ [coq,fstar,lean] skip //@ [coq,fstar] aeneas-args=-use-fuel //@ [coq,fstar] subdir=misc // FIXME: make it work |