X-Git-Url: http://git.megacz.com/?p=coq-categories.git;a=blobdiff_plain;f=src%2FMain.v;fp=src%2FMain.v;h=5ef4f556b2a0dcd317d14f753d44f7c4a8ea7845;hp=2653fb8ed39e29046261b21613e6f9537b97c46b;hb=94c04c97042ab15b3ec62eba87ccccccd7162ce0;hpb=f4d377789a2265a19ff3d1dd65e87f570aef49c3

diff --git a/src/Main.v b/src/Main.v
index 2653fb8..5ef4f55 100644
--- a/src/Main.v
+++ b/src/Main.v
@@ -27,7 +27,7 @@ Require Import Coherence_ch7_8.
 Require Import MonoidalCategories_ch7_8.
 
 Require Import Exponentials_ch6.
-Require Import CategoryOfCategories_ch7_1.
+(*Require Import CategoryOfCategories_ch7_1.*)
 Require Import Yoneda_ch8.
 Require Import Adjoints_ch9.