From 9298629f49c4ebcad88c48d075605b20d50044bc Mon Sep 17 00:00:00 2001
From: Joachim Breitner <mail@joachim-breitner.de>
Date: Mon, 7 May 2012 14:08:07 +0000
Subject: [PATCH] Cleanup

---
 FreeGroups.agda | 1 -
 1 file changed, 1 deletion(-)

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
 
-- 
2.20.1