Remove faulty import in src/Algebra/Dioid

algebraic-graphs · Apr 26, 2018 · a8dad25 · a8dad25
1 parent 61aaed1
commit a8dad25
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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