From a87eb58b13ac2635627fd7703eaacd741c9773a2 Mon Sep 17 00:00:00 2001
From: henz <henz@comp.nus.edu.sg>
Date: Mon, 1 Jul 2024 17:32:32 +0800
Subject: [PATCH] fixes #880

---
 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>