eclipse: remove with statements

2024-08-18 06:31:11 -07:00
parent 9c61e10776
commit 44f5fc1264
1 changed files with 1 additions and 3 deletions
@@ -210,9 +210,7 @@ in rec {
      # Gather up the desired plugins.
      pluginEnv = buildEnv {
        name = "eclipse-plugins";
-        paths =
-          with lib;
-            filter (x: x ? isEclipsePlugin) (closePropagation plugins);
+        paths = lib.filter (x: x ? isEclipsePlugin) (lib.closePropagation plugins);
      };

      # Prepare the JVM arguments to add to the ini file. We here also