X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FProgrammingLanguageArrow.v;h=5386d3e9eeb500d6b64eff7f56f77f6ee21c869a;hp=5dbce6d63e6dfd4c40b1f446ce8c4387d04cc3a3;hb=423b0bd3972c5bcbbd757cb715e13b5b9104a9a6;hpb=e539b49ae3148ab1967b5ea0709734171180b86d

diff --git a/src/ProgrammingLanguageArrow.v b/src/ProgrammingLanguageArrow.v
index 5dbce6d..5386d3e 100644
--- a/src/ProgrammingLanguageArrow.v
+++ b/src/ProgrammingLanguageArrow.v
@@ -30,7 +30,7 @@ Require Import FunctorCategories_ch7_7.
 Require Import NaturalDeduction.
 Require Import NaturalDeductionCategory.
 
-Require Import ProgrammingLanguage.
+Require Import ProgrammingLanguageCategory.
 Require Import FreydCategories.
 Require Import Enrichments.
 Require Import GeneralizedArrow.