From b21e69503571272a5f35cf84c731994f3e921a3a Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Tue, 29 Nov 2022 14:36:13 +0000
Subject: Move indexed setoids and functions out of Soat.

---
 src/Soat/Data/Product.idr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Soat/Data/Product.idr')

diff --git a/src/Soat/Data/Product.idr b/src/Soat/Data/Product.idr
index 1582d02..f392a2d 100644
--- a/src/Soat/Data/Product.idr
+++ b/src/Soat/Data/Product.idr
@@ -1,8 +1,8 @@
 module Soat.Data.Product
 
-import Control.Relation
 import Data.List.Elem
-import Soat.Relation
+import Data.Morphism.Indexed
+import Data.Setoid.Indexed
 
 %default total
 
-- 
cgit v1.2.3