From ae075db15638ee8878bebe3d31affb1aa320e90f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 28 May 2024 18:05:01 +0200
Subject: Reactivate the infinite-loop.rs test

---
 tests/src/infinite-loop.rs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'tests/src')

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
-- 
cgit v1.2.3