update to account for coq-categories changes

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

diff --git a/src/ProgrammingLanguageArrow.v b/src/ProgrammingLanguageArrow.v
index 40bc164..a4f40e3 100644 (file)
--- a/src/ProgrammingLanguageArrow.v
+++ b/src/ProgrammingLanguageArrow.v
@@ -117,6 +117,7 @@ Section MonoidalSubCat.
 End MonoidalSubCat.
 Coercion full_subcat_is_monoidal : MonoidalSubCat >-> MonoidalCat.
 
+(*
 Section ArrowInLanguage.
 
   (* an Arrow In A Programming Language consists of... *)
@@ -162,3 +163,4 @@ Check (@FreydCategory).
     Defined.
 
 End GArrowInLanguage.
+*)
\ No newline at end of file