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

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.