From 79710b146765ab1a85d647352b66593a10836fdf Mon Sep 17 00:00:00 2001 From: Claudio Russo Date: Thu, 15 Aug 2024 13:00:56 +0100 Subject: [PATCH] remove skips --- test/fail/issue-4625.mo | 5 ----- 1 file changed, 5 deletions(-) diff --git a/test/fail/issue-4625.mo b/test/fail/issue-4625.mo index b1af532cc06..5bbc4303971 100644 --- a/test/fail/issue-4625.mo +++ b/test/fail/issue-4625.mo @@ -10,8 +10,3 @@ actor { let z : T = call; }; - -//SKIP run -//SKIP run-ir -//SKIP run-low -//SKIP ic-ref