From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 28 Mar 2011 00:24:18 +0000 (-0700)
Subject: fix typo
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=9444d329585e0dc3400a3bbb8155900f9ad62b92

fix typo
---

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.
diff --git a/src/categories b/src/categories
index 1ab46a0..18d9414 160000
--- a/src/categories
+++ b/src/categories
@@ -1 +1 @@
-Subproject commit 1ab46a0e579ec1964ae0ab3cadb64f6a77db8d30
+Subproject commit 18d94149267db9cf2e8e93977c5506278309173d