From 83df2fc0c63e5b27f6d20b21c42d3a20ed812a4b Mon Sep 17 00:00:00 2001
From: Martin Henz <henz@comp.nus.edu.sg>
Date: Thu, 11 Jul 2024 01:38:59 +0800
Subject: [PATCH] fixes #880 (#1037)

---
 xml/chapter4/section3/subsection1.xml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/xml/chapter4/section3/subsection1.xml b/xml/chapter4/section3/subsection1.xml
index 2740a3395..25eacdae1 100644
--- a/xml/chapter4/section3/subsection1.xml
+++ b/xml/chapter4/section3/subsection1.xml
@@ -648,6 +648,18 @@ function a_pythogorean_triple_between(low, high) {
 }
       </JAVASCRIPT>
     </SNIPPET>
+    <SOLUTION>
+      <SNIPPET>
+	<JAVASCRIPT>
+// solution by GitHub user jonathantorres
+
+function an_integer_between(low, high) {
+    require(low &lt;= high);
+    return amb(low, an_integer_between(low+1, high));
+}
+	</JAVASCRIPT>
+      </SNIPPET>
+    </SOLUTION>
   </EXERCISE>
 
   <EXERCISE>