chore: generate

2026-06-06 13:44:07 +00:00
parent 7d3d80f840
commit 77963d884a
3 changed files with 5 additions and 11 deletions
@@ -113,9 +113,7 @@ export const GrepTool = Tool.define(

          if (result.hasNextPage) {
            output.push("")
-            output.push(
-              `(Results truncated. Consider using a more specific path or pattern.)`,
-            )
+            output.push(`(Results truncated. Consider using a more specific path or pattern.)`)
          }

          if (result.partial) {