revert: remove spurious imports

agda · Dec 9, 2024 · ad4b103 · ad4b103
1 parent 5e7cd5c
commit ad4b103
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/Data/List/Relation/Binary/Sublist/Propositional/Properties.agda b/src/Data/List/Relation/Binary/Sublist/Propositional/Properties.agda
@@ -10,7 +10,6 @@ module Data.List.Relation.Binary.Sublist.Propositional.Properties
   {a} {A : Set a} where
 
 open import Data.List.Base using (List; []; _∷_;  map)
-open import Data.List.Properties using (map-id)
 open import Data.List.Membership.Propositional using (_∈_)
 open import Data.List.Relation.Unary.All using (All; []; _∷_)
 open import Data.List.Relation.Unary.Any using (Any; here; there)