X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FProgrammingLanguageFlattening.v;h=4c2a66bc8c85373279a426533225cf259e882581;hp=4438dd2bd7b99940456390a8f7f550ea4d62db69;hb=034f7e7856bebbbcb3c83946aa603c640b17f3bb;hpb=e539b49ae3148ab1967b5ea0709734171180b86d

diff --git a/src/ProgrammingLanguageFlattening.v b/src/ProgrammingLanguageFlattening.v
index 4438dd2..4c2a66b 100644
--- a/src/ProgrammingLanguageFlattening.v
+++ b/src/ProgrammingLanguageFlattening.v
@@ -27,7 +27,7 @@ Require Import Reification.
 Require Import NaturalDeduction.
 Require Import NaturalDeductionCategory.
 Require Import GeneralizedArrow.
-Require Import ProgrammingLanguage.
+Require Import ProgrammingLanguageEnrichment.
 Require Import ProgrammingLanguageReification.
 Require Import SectionRetract_ch2_4.
 Require Import GeneralizedArrowFromReification.