X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FAll.v;h=b42d1757c0d0012b9e51278566d2fd2959375956;hp=f5e51572212bc7a6984a979e59d0112aba811eec;hb=d1a4d10de986d774d3cfb10348036cb60bc80277;hpb=f9297f3fba59884fe98eb4f9257a1fb7552bfd0a

diff --git a/src/All.v b/src/All.v
index f5e5157..b42d175 100644
--- a/src/All.v
+++ b/src/All.v
@@ -76,7 +76,7 @@ Require Import WeakFunctorCategory.
 Require Import SmallSMMEs.
 Require Import ReificationCategory.
 Require Import GeneralizedArrowCategory.
-Require Import ReificationsEquivalentToGeneralizedArrows.
+Require Import ReificationsAndGeneralizedArrows.
 Require Import ReificationsIsomorphicToGeneralizedArrows.
 
 Require Import HaskProofCategory.