From 02cb45707da07d5e6faca92158d10a6e454a6bac Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Thu, 22 Dec 2022 00:02:23 +0000
Subject: Add Container types.

---
 src/Obs/Sort.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Obs/Sort.idr')

diff --git a/src/Obs/Sort.idr b/src/Obs/Sort.idr
index bbd6975..f76453a 100644
--- a/src/Obs/Sort.idr
+++ b/src/Obs/Sort.idr
@@ -35,7 +35,7 @@ Pretty Sort where
 
 -- Operations ------------------------------------------------------------------
 
-infix 5 ~>
+infixr 5 ~>
 
 public export
 suc : Sort -> Sort
-- 
cgit v1.2.3