Remove zmodule.v

math-comp · Sep 22, 2023 · 35141c0 · 35141c0
1 parent 411c7d4
commit 35141c0
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 548 deletions.
diff --git a/Make.test-suite b/Make.test-suite
@@ -3,7 +3,6 @@ examples/field_examples_no_check.v
 examples/ring_examples_check.v
 examples/ring_examples_no_check.v
 examples/from_sander.v
-examples/zmodule.v
 examples/lra_examples.v
 
 -R examples mathcomp.algebra_tactics.examples