# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1552036151 -32400
# Node ID db59b8f954aa0df36c3dd09904f713c9333824f4
# Parent  340708e8d54f51754d3f13dcf52c04a8113cd9e4
fix

diff -r 340708e8d54f -r db59b8f954aa epi.agda
--- a/epi.agda	Fri Mar 08 17:46:59 2019 +0900
+++ b/epi.agda	Fri Mar 08 18:09:11 2019 +0900
@@ -3,6 +3,8 @@
 
 module epi where
 
+open import Relation.Binary.PropositionalEquality hiding ( [_] ; sym )
+
 open import Relation.Binary.Core
 
 data  FourObject   : Set where