diff --git a/tests/Anoma/Compilation/positive/test080.juvix b/tests/Anoma/Compilation/positive/test080.juvix
index 5b58fffd4b..bf39ebf72f 100644
--- a/tests/Anoma/Compilation/positive/test080.juvix
+++ b/tests/Anoma/Compilation/positive/test080.juvix
@@ -5,16 +5,16 @@ import Stdlib.Debug.Trace open;
 
 main : Maybe Nat :=
   trace (just 1)
-    >>> trace
+    >-> trace
       {Nat}
       case just 2 of {
         | just x := x
         | nothing := 0
       }
-    >>> trace
+    >-> trace
       {Nat}
       case nothing {Nat} of {
         | just x := 0
         | nothing := 3
       }
-    >>> nothing;
+    >-> nothing;