X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FProgrammingLanguage.v;h=de7c7f0597ef6326645372d410a8978cbc33ffcd;hp=95ea51e0c18e7416ee54be368da981edd0e4d553;hb=9444d329585e0dc3400a3bbb8155900f9ad62b92;hpb=edb3cf289c051e99b3c0c1db229ad2d819450e3a

diff --git a/src/ProgrammingLanguage.v b/src/ProgrammingLanguage.v
index 95ea51e..de7c7f0 100644
--- a/src/ProgrammingLanguage.v
+++ b/src/ProgrammingLanguage.v
@@ -30,7 +30,7 @@ Require Import NaturalDeductionCategory.
 Require Import FreydCategories.
 
 Require Import Reification.
-Require Import GeneralizedArrows.
+Require Import GeneralizedArrow.
 Require Import GeneralizedArrowFromReification.
 
 Section Programming_Language.