remove reliance on General.v

[coq-categories.git] / src / Categories_ch1_3.v

diff --git a/src/Categories_ch1_3.v b/src/Categories_ch1_3.v
index e0a5838..f5786ee 100644 (file)
--- a/src/Categories_ch1_3.v
+++ b/src/Categories_ch1_3.v
@@ -4,7 +4,6 @@
 
 Generalizable All Variables.
 Require Import Preamble.
 
 Generalizable All Variables.
 Require Import Preamble.

-Require Import General.

 
 (* definition 1.1 *)
 Class Category
 
 (* definition 1.1 *)
 Class Category