Chore

5f3a352b · erwan · d7cea6a9 · 5f3a352b
Commit 5f3a352b authored 4 years ago by erwan
--- a/test/lustre/utils.lus
+++ b/test/lustre/utils.lus
@@ -37,7 +37,7 @@ let
 tel 

 -----------------------------------------------------------------------------
-function implies_list(A,B:bool^m) returns (res:bool^m);
+function implies_list<<const m:int>>(A,B:bool^m) returns (res:bool^m);
 let
  res = map<<=>,m>>(A,B) ;
 tel