move ZModulo to test suite

coq · Mar 6, 2023 · 8db8935 · 8db8935
1 parent 8a6ba41
commit 8db8935
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 1 deletion.
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
@@ -279,7 +279,6 @@ through the <tt>Require Import</tt> command.</p>
     theories/Numbers/Cyclic/Int63/Uint63.v
     theories/Numbers/Cyclic/Int63/Sint63.v
     theories/Numbers/Cyclic/Int63/Ring63.v
-    theories/Numbers/Cyclic/ZModulo/ZModulo.v
     </dd>
 
     <dt> <b>&nbsp;&nbsp;Natural</b>:

diff --git a/theories/Numbers/Cyclic/ZModulo/ZModulo.v → test-suite/success/ZModulo.v b/theories/Numbers/Cyclic/ZModulo/ZModulo.v → test-suite/success/ZModulo.v