[Bug]: edit_file name not found

[andrewhabib]

Is there an existing issue for the same bug?

• [X] I have checked the existing issues.

Describe the bug and reproduction steps

When an agent tries to edit a file, it complains that edit_file is not found.

OpenHands Installation

Docker command in README

OpenHands Version

0.13

Operating System

WSL on Windows

Logs, Errors, Screenshots, and Additional Context

No response