Minor Fix

rcosta358 · rcosta358 · commit 01056c79db55 · 2026-08-09T00:19:36.000+01:00
diff --git a/tutorial-data.js b/tutorial-data.js
@@ -137,7 +137,7 @@ public class BinarySearch {
 }`,
         checks: [
           {
-            pattern: "@Refinement\\s*\\(\\s*\"_\\s*>=\\s*low\\s*&&\\s*_\\s*<=\\s*high\"\\s*\\)\\s*public\\s+static\\s+int\\s+midpoint",
+            pattern: "@Refinement\\s*\\(\\s*\"(?:_\\s*>=\\s*low|low\\s*<=\\s*_)\\s*&&\\s*_\\s*<=\\s*high\"\\s*\\)\\s*public\\s+static\\s+int\\s+midpoint",
             message: "Refine the return value so it stays between low and high.",
           },
           {

Original file line number	Diff line number	Diff line change
`@@ -137,7 +137,7 @@ public class BinarySearch {`
`137`	`137`	}`,
`138`	`138`	`checks: [`
`139`	`139`	`{`
`140`		`- pattern: "@Refinement\\s\\(\\s\"_\\s>=\\slow\\s&&\\s_\\s<=\\shigh\"\\s\\)\\spublic\\s+static\\s+int\\s+midpoint",`
	`140`	`+ pattern: "@Refinement\\s\\(\\s\"(?:_\\s>=\\slow\|low\\s<=\\s_)\\s&&\\s_\\s<=\\shigh\"\\s\\)\\spublic\\s+static\\s+int\\s+midpoint",`
`141`	`141`	`message: "Refine the return value so it stays between low and high.",`
`142`	`142`	`},`
`143`	`143`	`{`