X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FAll.v;h=d4956dd000869f48123338a93e8ac2492c0eb724;hp=25fa85d1ed80a049e112c10489488ca814f0a1a0;hb=e7963896b900c33b7eda38044c14601eebe2e7fe;hpb=916f33924e493c9be8290d0aadc35cf85d6899af

diff --git a/src/All.v b/src/All.v
index 25fa85d..d4956dd 100644
--- a/src/All.v
+++ b/src/All.v
@@ -1,7 +1,6 @@
 Require Import ExtractionMain.
-Require Import ProgrammingLanguageGeneralizedArrow.
-Require Import ProgrammingLanguageFlattening.
 Require Import ProgrammingLanguageArrow.
 Require Import ProgrammingLanguageReification.
+Require Import ProgrammingLanguageFlattening.
 Require Import ReificationsIsomorphicToGeneralizedArrows.