From 9444d329585e0dc3400a3bbb8155900f9ad62b92 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sun, 27 Mar 2011 17:24:18 -0700 Subject: [PATCH] fix typo --- src/ProgrammingLanguage.v | 2 +- src/categories | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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 -- 1.7.10.4