reorganize flattening code

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

diff --git a/src/All.v b/src/All.v
index f5e5157..b42d175 100644 (file)
--- 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.