From 2e6c01cb75ee6032164033b74da0dbe1f93de911 Mon Sep 17 00:00:00 2001 From: radrow Date: Sat, 26 Jun 2021 19:10:49 +0200 Subject: [PATCH] Fix var --- priv/stdlib/List.aes | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/priv/stdlib/List.aes b/priv/stdlib/List.aes index f08e9e4..cf9670e 100644 --- a/priv/stdlib/List.aes +++ b/priv/stdlib/List.aes @@ -80,7 +80,7 @@ namespace List = * `b` only if `(b - a) mod step == 0`. `step` should be bigger than 0. */ function from_to_step(a : int, b : int, s : int) : list(int) = - require(step > 0, "List.from_to_step: non-positive step") + require(s > 0, "List.from_to_step: non-positive step") from_to_step_(a, b - (b-a) mod s, s, []) private function from_to_step_(a : int, b : int, s : int, acc : list(int)) : list(int) = if(b < a) acc