From a19b25a865b2000bbd3acd909f5951a5407c1eec Mon Sep 17 00:00:00 2001
From: Sean Whitton <spwhitton@spwhitton.name>
Date: Fri, 23 Nov 2018 17:29:18 -0700
Subject: New upstream version 0.17

---
 src/Relation/Binary/EqReasoning.agda | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'src/Relation/Binary/EqReasoning.agda')

diff --git a/src/Relation/Binary/EqReasoning.agda b/src/Relation/Binary/EqReasoning.agda
index 394cb50..c498059 100644
--- a/src/Relation/Binary/EqReasoning.agda
+++ b/src/Relation/Binary/EqReasoning.agda
@@ -28,9 +28,10 @@ open import Relation.Binary
 module Relation.Binary.EqReasoning {s₁ s₂} (S : Setoid s₁ s₂) where
 
 open Setoid S
-import Relation.Binary.PreorderReasoning as PreR
-open PreR preorder public
-       renaming ( _∼⟨_⟩_  to _≈⟨_⟩_
-                ; _≈⟨_⟩_  to _≡⟨_⟩_
-                ; _≈⟨⟩_  to _≡⟨⟩_
-                )
+open import Relation.Binary.PreorderReasoning preorder public
+  hiding (_≈⟨_⟩_)
+  renaming
+  ( _∼⟨_⟩_  to _≈⟨_⟩_
+  ; _≈⟨⟩_   to _≡⟨⟩_
+  )
+
-- 
cgit v1.2.3