X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FAll.v;h=d4956dd000869f48123338a93e8ac2492c0eb724;hp=5db7ecede06ad84e06a4740665463e1938a9eed4;hb=bef99d21b3f5697d6fb1871493290c8dcf9dea93;hpb=77e8c70f4fd7a32db036fee5884a98208d450de2

diff --git a/src/All.v b/src/All.v
index 5db7ece..d4956dd 100644
--- a/src/All.v
+++ b/src/All.v
@@ -1,9 +1,6 @@
 Require Import ExtractionMain.
-(*
-Require Import ProgrammingLanguageGeneralizedArrow.
-Require Import ProgrammingLanguageFlattening.
 Require Import ProgrammingLanguageArrow.
 Require Import ProgrammingLanguageReification.
-*)
+Require Import ProgrammingLanguageFlattening.
 Require Import ReificationsIsomorphicToGeneralizedArrows.