revert unnecessary change

Author: maxsnew

Cubical/Categories/Instances/Functors.agda

@@ -17,7 +17,7 @@ open import Cubical.Foundations.HLevels
 open import Cubical.Foundations.Isomorphism
 
 open import Cubical.Categories.Category renaming (isIso to isIsoC)
-open import Cubical.Categories.Constructions.BinProduct hiding (Sym)
+open import Cubical.Categories.Constructions.BinProduct
 open import Cubical.Categories.Functor.Base
 open import Cubical.Categories.Morphism
 open import Cubical.Categories.NaturalTransformation.Base