X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=src%2FExtractionMain.v;h=dbeb3ccec21ea55152b6015ccd2fa9d0f529cd70;hb=e2be3300379a5c0e1397c33f7b983a5259c5f51b;hp=05d059a81b4fc4c78b73ab23d3868cac0fc6cf60;hpb=20a9b4934a97e6801d6785ac940f771cb74a8cc1;p=coq-hetmet.git

diff --git a/src/ExtractionMain.v b/src/ExtractionMain.v
index 05d059a..dbeb3cc 100644
--- a/src/ExtractionMain.v
+++ b/src/ExtractionMain.v
@@ -40,7 +40,7 @@ Require Import HaskProofCategory.
 (*
 Require Import HaskStrongCategory.
 *)
-Require Import ReificationsEquivalentToGeneralizedArrows.
+Require Import ReificationsIsomorphicToGeneralizedArrows.
 
 Open Scope string_scope.
 Extraction Language Haskell.