fix cat

math-comp · Oct 3, 2024 · 1e998a8 · 1e998a8
1 parent 9d256b8
commit 1e998a8
Show file tree

Hide file tree

Showing 2 changed files with 196 additions and 116 deletions.
diff --git a/_CoqProject.test-suite b/_CoqProject.test-suite
@@ -53,7 +53,7 @@ examples/Coq2020_material/CoqWS_abstract.v
 examples/Coq2020_material/CoqWS_expansion/withHB.v
 examples/Coq2020_material/CoqWS_expansion/withoutHB.v
 
-# examples/cat/cat.v
+examples/cat/cat.v
 
 tests/type_of_exported_ops.v
 tests/duplicate_structure.v