X-Git-Url: http://git.megacz.com/?p=coq-categories.git;a=blobdiff_plain;f=src%2FFreydCategories.v;h=5f0e1c86fed4eeaf19f9f4604943ab4dcb3803b9;hp=9ea39e0b45e46d0fce390a1a2b75bf132a8d6bef;hb=2403342ad32f12dd56a82ce575dd2d35d91f545a;hpb=9acb9b7b4ed12543e54c39c82d7b0f34d04d0207

diff --git a/src/FreydCategories.v b/src/FreydCategories.v
index 9ea39e0..5f0e1c8 100644
--- a/src/FreydCategories.v
+++ b/src/FreydCategories.v
@@ -4,7 +4,6 @@
 
 Generalizable All Variables.
 Require Import Preamble.
-Require Import General.
 Require Import Categories_ch1_3.
 Require Import Functors_ch1_4.
 Require Import Isomorphisms_ch1_5.