From 35558ba75a9dadee001ef371654745c5cd06752e Mon Sep 17 00:00:00 2001
From: Gwennan Eliezer <gwennan.eliezer@etu.univ-grenoble-alpes.fr>
Date: Mon, 8 Jul 2019 15:14:09 +0200
Subject: [PATCH] Changed node name from 'add_int_true' to 'count_true_acc'

---
 test/coloring/round.lus | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/coloring/round.lus b/test/coloring/round.lus
index 94dfbc6b..e812f5db 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
-- 
GitLab