X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FProgrammingLanguageReification.v;h=c1a06d85d51f00c43eda77f2c5d132a2b9b20e72;hp=932c51796e5e5394ececd65e74d792f55b68af42;hb=034f7e7856bebbbcb3c83946aa603c640b17f3bb;hpb=e539b49ae3148ab1967b5ea0709734171180b86d

diff --git a/src/ProgrammingLanguageReification.v b/src/ProgrammingLanguageReification.v
index 932c517..c1a06d8 100644
--- a/src/ProgrammingLanguageReification.v
+++ b/src/ProgrammingLanguageReification.v
@@ -28,6 +28,7 @@ Require Import Reification.
 Require Import NaturalDeduction.
 Require Import NaturalDeductionCategory.
 Require Import ProgrammingLanguage.
+Require Import ProgrammingLanguageCategory.
 Require Import Enrichments.
 
 Section ProgrammingLanguageReification.