remove all admits from ProgrammingLanguage.v

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

diff --git a/src/All.v b/src/All.v
index 5db7ece..d4956dd 100644 (file)
--- 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.