diff --git a/nixos/tests/agda/base.nix b/nixos/tests/agda/base.nix
index f804abda6f62..9fafd2f46000 100644
--- a/nixos/tests/agda/base.nix
+++ b/nixos/tests/agda/base.nix
@@ -26,7 +26,6 @@ in
   testScript = ''
     # agda and agda-mode are in path
     machine.succeed("agda --version")
-    machine.succeed("agda-mode")
 
     # Minimal script that typechecks
     machine.succeed("touch TestEmpty.agda")