diff --git a/test/coloring/round.lus b/test/coloring/round.lus index 94dfbc6bf42973a7e7027e594bffb55ee7368285..e812f5db8f4c03176fe16c51647ced2788bf97b0 100644 --- a/test/coloring/round.lus +++ b/test/coloring/round.lus @@ -89,7 +89,7 @@ let tel ----------------------------------------------------------------------------- -node add_int_true(X:int; Y:bool^m) returns (Z:int); +node count_true_acc(X:int; Y:bool^m) returns (Z:int); let Z = red<<bool_to_int,m>>(X,Y); tel