From 1e404cee8e3f36a5fe657012db8ba94c5666cec2 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Mon, 5 Dec 2022 11:28:33 +0000
Subject: Remove import alias.

---
 src/Data/Setoid/Indexed/Definition.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Data/Setoid/Indexed/Definition.idr')

diff --git a/src/Data/Setoid/Indexed/Definition.idr b/src/Data/Setoid/Indexed/Definition.idr
index ab4ac8a..d50af06 100644
--- a/src/Data/Setoid/Indexed/Definition.idr
+++ b/src/Data/Setoid/Indexed/Definition.idr
@@ -3,7 +3,7 @@ module Data.Setoid.Indexed.Definition
 
 import public Control.Relation
 
-import public Data.Setoid.Definition as Setoid
+import public Data.Setoid.Definition
 
 import Syntax.PreorderReasoning.Setoid
 
-- 
cgit v1.2.3