Update src/Relation/Unary/Properties.agda

Co-authored-by: jamesmckinna <[email protected]>

Author: mildsunrise

src/Relation/Unary/Properties.agda

@@ -18,7 +18,7 @@ open import Relation.Binary.Definitions
 open import Relation.Binary.PropositionalEquality.Core using (refl; _≗_)
 open import Relation.Unary
 import Relation.Nullary.Decidable as Dec
-open import Relation.Nullary.Decidable using (yes; no; _⊎-dec_; _×-dec_; ¬?; map′; does)
+open import Relation.Nullary.Decidable as Dec using (yes; no; _⊎-dec_; _×-dec_; ¬?; map′; does)
 open import Function.Base using (id; _$_; _∘_)
 
 private