diff --git a/test/Internal/Eval/Positive.hs b/test/Internal/Eval/Positive.hs
index 15003e4d26..7767da0c84 100644
--- a/test/Internal/Eval/Positive.hs
+++ b/test/Internal/Eval/Positive.hs
@@ -69,11 +69,6 @@ tests =
       $(mkRelDir ".")
       $(mkRelFile "IdenFunctionArgsImplicit.juvix")
       $(mkRelFile "out/IdenFunctionArgsImplicit.out"),
-    PosTest
-      "A function with no explicit arguments"
-      $(mkRelDir ".")
-      $(mkRelFile "IdenFunctionArgsNoExplicit.juvix")
-      $(mkRelFile "out/IdenFunctionArgsNoExplicit.out"),
     PosTest
       "A module that imports another"
       $(mkRelDir "Import")
diff --git a/tests/Internal/positive/IdenFunctionArgsNoExplicit.juvix b/tests/Internal/positive/IdenFunctionArgsNoExplicit.juvix
deleted file mode 100644
index 8725b4b4c7..0000000000
--- a/tests/Internal/positive/IdenFunctionArgsNoExplicit.juvix
+++ /dev/null
@@ -1,11 +0,0 @@
-module IdenFunctionArgsNoExplicit;
-
-open import Stdlib.Prelude;
-
-f : {A : Type} → Nat;
-f := zero;
-
-main : Nat;
-main := f;
-
-end;