X-Git-Url: http://git.megacz.com/?p=coq-categories.git;a=blobdiff_plain;f=src%2FMain.v;fp=src%2FMain.v;h=962ed6d89328cf710dba12a61ceeecfe670987dc;hp=5ef4f556b2a0dcd317d14f753d44f7c4a8ea7845;hb=00b060e4854e5a1ba01746be44ac9deb49d7fbf5;hpb=18d94149267db9cf2e8e93977c5506278309173d

diff --git a/src/Main.v b/src/Main.v
index 5ef4f55..962ed6d 100644
--- a/src/Main.v
+++ b/src/Main.v
@@ -35,7 +35,7 @@ Require Import Adjoints_ch9.
 (*Require Import CoqCategory.*)
 (*Require Import NaturalDeduction.*)
 (*Require Import NaturalDeductionCategories.*)
-(*Require Import CartesianEnrichmentsHaveMonoidalRepresentableFunctors.*)
+(*Require Import CartesianEnrichmentsHaveMonoidalHomFunctors.*)
 (*Require Import Reification.*)
 (*Require Import GeneralizedArrow.*)
 (*Require Import ReificationFromGArrow.*)