λgitsite

Make forced first edit target explicit

ober

8055d67ae017f26ccb48d0da3ae10f3db381ada4

diff --git a/src/jcode/core/verified-run.ss b/src/jcode/core/verified-run.ss
index 5750f4f..e5e7213 100644
--- a/src/jcode/core/verified-run.ss
+++ b/src/jcode/core/verified-run.ss
@@ -357,7 +357,7 @@
                 #t)
                (else (loop (cdr xs))))))
     (make-text-response
-      "Forced first-edit turn rejected: the model called a hidden inspection or non-edit tool. Do not call read, list, verify, or any other tool on this turn. Call exactly edit(path=<target file>, content=<complete minimal acceptance-complete file body>) or write(path=<target file>, content=<complete minimal acceptance-complete file body>) now.")
+      "Forced first-edit turn rejected: the model called a hidden inspection or non-edit tool. Do not call read, list, verify, or any other tool on this turn. Call exactly edit(path=\"tetris.ss\", content=<complete minimal acceptance-complete file body>) or write(path=\"tetris.ss\", content=<complete minimal acceptance-complete file body>) now.")
     response))
 
 (def (provider-responder provider)