From a82095604d0d2b726c405f0cefd6a4582b0c344a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= <fhi.1990@gmail.com>
Date: Wed, 21 Feb 2018 14:05:10 +0100
Subject: [PATCH] Remove unused function

---
 src/Cat/Categories/Sets.agda | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/Cat/Categories/Sets.agda b/src/Cat/Categories/Sets.agda
index 4d23936..d6c1329 100644
--- a/src/Cat/Categories/Sets.agda
+++ b/src/Cat/Categories/Sets.agda
@@ -24,9 +24,6 @@ module _ (ℓ : Level) where
     𝟙 SetsRaw = Function.id
     _∘_ SetsRaw = Function._∘′_
 
-    setIsSet : (A : Set ℓ) → isSet A
-    setIsSet A x y p q = {!ua!}
-
     SetsIsCategory : IsCategory SetsRaw
     assoc SetsIsCategory = refl
     proj₁ (ident SetsIsCategory) = funExt λ _ → refl