diff --git a/juvix-stdlib b/juvix-stdlib index 6999b0b35f..5bdd7868d7 160000 --- a/juvix-stdlib +++ b/juvix-stdlib @@ -1 +1 @@ -Subproject commit 6999b0b35fe946de28fc4061038ea4d8e4615265 +Subproject commit 5bdd7868d70271818c1ef6c1069f7f6db0794bff