From 40740409a463ae3ff9c4015019a7026a8aefbc0a Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Wed, 26 Jun 2024 10:27:05 +0100
Subject: [PATCH] Update >>> to >-> in test

---
 tests/Anoma/Compilation/positive/test080.juvix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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;