Revert "module, index not updated"

This reverts commit 0674fa7.
rjbou · Oct 21, 2024 · e3a41e0 · e3a41e0
1 parent fe08ac2
commit e3a41e0
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/src/client/opamTest.ml b/src/client/opamTest.ml
diff --git a/src/client/opamTest.mli b/src/client/opamTest.mli