X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FExtractionMain.v;h=4e5a0244cd93cc71928646f5c9e5cd6d3ff7e009;hp=5deaf3a1b37d73c31bb4cd1a97ad607fb0b16d8d;hb=c6086660ba8a453a62ce7c248c2dabac1627e94b;hpb=cef6be4de10acb4593acd67c0baa254f261971a1

diff --git a/src/ExtractionMain.v b/src/ExtractionMain.v
index 5deaf3a..4e5a024 100644
--- a/src/ExtractionMain.v
+++ b/src/ExtractionMain.v
@@ -35,9 +35,8 @@ Require Import HaskProofToStrong.
 
 Require Import ProgrammingLanguage.
 
-Require Import HaskProofFlattener.
 Require Import HaskProofStratified.
-Require Import HaskProofCategory.
+Require Import HaskProofFlattener.
 
 Require Import ReificationsIsomorphicToGeneralizedArrows.