X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=src%2FProgrammingLanguageGeneralizedArrow.v;h=8fe0391c19affafe821d2a957226c029eae3145f;hb=6282ce834832ba35e81d8019cae1ca38d187d07e;hp=bed54b6dc797c844906bd90937f9fc80edb25d55;hpb=77e8c70f4fd7a32db036fee5884a98208d450de2;p=coq-hetmet.git

diff --git a/src/ProgrammingLanguageGeneralizedArrow.v b/src/ProgrammingLanguageGeneralizedArrow.v
index bed54b6..8fe0391 100644
--- a/src/ProgrammingLanguageGeneralizedArrow.v
+++ b/src/ProgrammingLanguageGeneralizedArrow.v
@@ -30,7 +30,7 @@ Require Import NaturalDeductionCategory.
 Require Import Enrichments.
 Require Import Reification.
 Require Import GeneralizedArrow.
-Require Import ProgrammingLanguage.
+Require Import ProgrammingLanguageEnrichment.
 
 Section ProgrammingLanguageGeneralizedArrow.