diff --git a/src/client.test.ts b/src/client.test.ts index f5abdec..91f4c9f 100644 --- 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']); });