diff --git a/juvix-stdlib b/juvix-stdlib
index 2680b19844..23f6b1991e 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 2680b19844616821d4ce77a40e9f02fb2e6c1995
+Subproject commit 23f6b1991e8f31e1360a7e23a21c6a9732a292b1
diff --git a/tests/positive/Alias.juvix b/tests/positive/Alias.juvix
index 724de53b6e..2389e349aa 100644
--- a/tests/positive/Alias.juvix
+++ b/tests/positive/Alias.juvix
@@ -37,7 +37,6 @@ syntax operator || logical;
   | zero b := b
   | one _ := one;
 
-syntax fixity none := none;
 syntax operator or none;
 syntax alias or := ||;