fix typo

[coq-hetmet.git] / src / ProgrammingLanguage.v

diff --git a/src/ProgrammingLanguage.v b/src/ProgrammingLanguage.v
index 95ea51e..de7c7f0 100644 (file)
--- 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.