diff --git a/juvix-stdlib b/juvix-stdlib index 17a82dd466..615a02c810 160000 --- a/juvix-stdlib +++ b/juvix-stdlib @@ -1 +1 @@ -Subproject commit 17a82dd466010b51924677b16a3f09a6c4c86a80 +Subproject commit 615a02c8107076ca9661c5234d41792be91a5104 diff --git a/tests/Anoma/Compilation/positive/test052.juvix b/tests/Anoma/Compilation/positive/test052.juvix index 60c189abf3..a921e82af8 100644 --- a/tests/Anoma/Compilation/positive/test052.juvix +++ b/tests/Anoma/Compilation/positive/test052.juvix @@ -1,7 +1,7 @@ --- Simple lambda calculus module test052; -import Stdlib.Prelude open; +import Stdlib.Prelude open hiding {>>=}; import Stdlib.Debug.Fail open; LambdaTy : Type -> Type := Lambda'; diff --git a/tests/Compilation/positive/test052.juvix b/tests/Compilation/positive/test052.juvix index 0e4d415dae..625351f28d 100644 --- a/tests/Compilation/positive/test052.juvix +++ b/tests/Compilation/positive/test052.juvix @@ -1,7 +1,7 @@ --- Simple lambda calculus module test052; -import Stdlib.Prelude open; +import Stdlib.Prelude open hiding {>>=}; LambdaTy : Type -> Type := Lambda';