reorganize flattening code

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

diff --git a/src/ExtractionMain.v b/src/ExtractionMain.v
index ba0c241..6ae977d 100644 (file)
--- a/src/ExtractionMain.v
+++ b/src/ExtractionMain.v
@@ -35,7 +35,11 @@ Require Import HaskWeakToCore.
 Require Import HaskProofToStrong.
 
 Require Import ProgrammingLanguage.
+
+Require Import HaskProofFlattener.
+Require Import HaskProofStratified.
 Require Import HaskProofCategory.
+
 Require Import ReificationsIsomorphicToGeneralizedArrows.
 
 (*Require Import HaskStrongCategory.*)