Merge branch 'main' into ticky

robsimmons · Nov 25, 2024 · 8599a47 · 8599a47
2 parents 3c179da + f564247
commit 8599a47
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/client.test.ts b/src/client.test.ts
@@ -206,6 +206,6 @@ test('Builtin STRING_CONCAT, full reverse', () => {
 
 test('Builtin INT_MINUS (issue #29)', () => {
   expect(
-    solutions(new Dusa('#builtin INT_MINUS minus.\ny 4.\nx N :- y M, minus N 1 is M.'), 'x'),
+    solutions(new Dusa("#builtin INT_MINUS minus.\ny 4.\nx N :- y N', minus N 1 is N'."), 'x'),
   ).toStrictEqual(['x 5']);
 });