Cleanup
[darcs-mirror-agda-free-groups.git] / FreeGroups.agda
index 83363d1..6dce2b5 100644 (file)
@@ -1,5 +1,4 @@
 open import Relation.Binary
-open import Level
 
 module FreeGroups {c ℓ} (S : Setoid c ℓ) where