Update >>> to >-> in test

anoma · Jun 26, 2024 · 4074040 · 4074040
1 parent e9d5802
commit 4074040
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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;