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

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.