From: Joachim Breitner <mail@joachim-breitner.de>
Date: Mon, 7 May 2012 14:08:07 +0000 (+0000)
Subject: Cleanup
X-Git-Url: http://git.nomeata.de/?p=darcs-mirror-agda-free-groups.git;a=commitdiff_plain;h=9298629f49c4ebcad88c48d075605b20d50044bc;ds=sidebyside

Cleanup
---

diff --git a/FreeGroups.agda b/FreeGroups.agda
index 83363d1..6dce2b5 100644
--- a/FreeGroups.agda
+++ b/FreeGroups.agda
@@ -1,5 +1,4 @@
 open import Relation.Binary
-open import Level
 
 module FreeGroups {c ℓ} (S : Setoid c ℓ) where