Merge pull request #64 from mperezjodal/main

Main
nus-apr · Oct 30, 2024 · 1d72388 · 1d72388
2 parents 82f5221 + 22746bf
commit 1d72388
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/app/api/agent_write_patch.py b/app/api/agent_write_patch.py
@@ -202,7 +202,7 @@ def run_with_retries(
             elif globals.enable_angelic:
                 raise NotImplementedError("Angelic debugging has not been integrated")
             else:
-                result_msg = "Extracted a patch. Since validation is disabled, you should validation the patch later on. Ending the workflow."
+                result_msg = "Extracted a patch. Since validation is disabled, you should validate the patch later on. Ending the workflow."
                 new_thread.add_user(result_msg)  # just for logging
                 print_acr(
                     result_msg,