Skip to content

Commit

Permalink
Fixed test
Browse files Browse the repository at this point in the history
  • Loading branch information
PaulKlint committed Oct 2, 2024
1 parent 5a41298 commit fc72dc7
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@ syntax Aas
| aas: [a][a][a]*
;

Aas ambFilter(amb(set[Aas] alternatives)) {
set[Aas] result = {a | Aas a <- alternatives, !(a is nil)};
&T <: Tree ambFilter(amb(set[&T <: Tree] alternatives)) {
set[&T <: Tree] result = {a | &T <: Tree a <- alternatives, !(a is nil)};

if ({oneTree} := result) {
return oneTree;
Expand Down

0 comments on commit fc72dc7

Please sign in to comment.