From 81c84784b67b466c24b6c1cd870d656e9e379ca7 Mon Sep 17 00:00:00 2001
From: martin-henz <martin.henz@gmail.com>
Date: Thu, 27 Jan 2022 06:25:56 +0800
Subject: [PATCH] extra semicolon removed

---
 xml/chapter4/section1/subsection5.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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(); }
 <SHORT_SPACE/>	
 function strange(f) {
     return halts(f, f)
-           ? run_forever();
+           ? run_forever()
            : "halted";
 }
       </JAVASCRIPT>