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

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