Skip to content

Commit

Permalink
Fixed test
Browse files Browse the repository at this point in the history
  • Loading branch information
PaulKlint committed May 22, 2023
1 parent 09aafaf commit d7c45e5
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -656,7 +656,7 @@ test bool matchNestedList12() = !(([[1], *list[int] L, [6,7,8]] := [[1],[2,3],[4
test bool matchNestedList13() = ([[1], *list[int] L, [6,7,8], *L] := [[1],[2,3],[4,5],[6,7,8],[2,3],[4,5]]) && (L == [[2,3],[4,5]]);

test bool matchNestedList14() {
if([*list[int] L] := [[1,2]] && L == [1,2,3]){
if([*list[int] L] := [[1,2]] && L == [[1,2,3]]){
return false;
} else {
return true;
Expand Down

0 comments on commit d7c45e5

Please sign in to comment.