From a8dad25e54b176ae557e9b7ba41d3c2bdebd9ee3 Mon Sep 17 00:00:00 2001
From: Anton Felix Lorenzen <anfelor@posteo.de>
Date: Thu, 26 Apr 2018 17:47:24 +0200
Subject: [PATCH] Remove faulty import in src/Algebra/Dioid

---
 src/Algebra/Dioid.agda | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/Algebra/Dioid.agda b/src/Algebra/Dioid.agda
index 5cb877d..8a83c3e 100644
--- a/src/Algebra/Dioid.agda
+++ b/src/Algebra/Dioid.agda
@@ -1,6 +1,5 @@
 module Algebra.Dioid where
 
-open import Algebra.Reasoning
 
 record Dioid A (_≡_ : A -> A -> Set) : Set where
   field