From c4367035ec0638d5639157e98e6756d3779aeee5 Mon Sep 17 00:00:00 2001
From: Jacques Comeaux <jacquesrcomeaux@protonmail.com>
Date: Sat, 6 Dec 2025 16:40:13 -0600
Subject: Move FinMerge utilites

---
 FinMerge.agda | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'FinMerge.agda')

diff --git a/FinMerge.agda b/FinMerge.agda
index d7b3f0b..2210e2f 100644
--- a/FinMerge.agda
+++ b/FinMerge.agda
@@ -13,8 +13,9 @@ open import Relation.Binary.PropositionalEquality.Properties using (module ≡-R
 open import Function using (id ; _∘_ ; _$_)
 open import Data.Maybe.Base using (Maybe; just; nothing; fromMaybe; map)
 
-open import Util using (_<_<_; _<_≤_; toℕ<; Ordering; less; equal; greater; compare)
+open import FinMerge.Util using (_<_≤_; Ordering; compare)
 
+open Ordering
 
 private
   variable
-- 
cgit v1.2.3