diff --git a/xml/chapter4/section1/subsection5.xml b/xml/chapter4/section1/subsection5.xml index 51e387137..ab91a6058 100644 --- a/xml/chapter4/section1/subsection5.xml +++ b/xml/chapter4/section1/subsection5.xml @@ -432,7 +432,7 @@ function run_forever() { return run_forever(); } function strange(f) { return halts(f, f) - ? run_forever(); + ? run_forever() : "halted"; }