diff options
| author | Enrico Tassi | 2020-09-25 14:04:53 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2021-01-27 09:45:48 +0100 |
| commit | 4390b6907b3d07793c2e8f9e7ad3cc38d9488711 (patch) | |
| tree | 74a6d4eededf6f8ebb4119bdd9d1b15aa7de55b7 | |
| parent | 1fd4c22d493715f154f6b79dc7f6e4efd44ff185 (diff) | |
[vernac] move vernac_classifier to vernac
| -rw-r--r-- | stm/stm.mllib | 1 | ||||
| -rw-r--r-- | vernac/vernac.mllib | 1 | ||||
| -rw-r--r-- | vernac/vernac_classifier.ml (renamed from stm/vernac_classifier.ml) | 0 | ||||
| -rw-r--r-- | vernac/vernac_classifier.mli (renamed from stm/vernac_classifier.mli) | 0 |
4 files changed, 1 insertions, 1 deletions
diff --git a/stm/stm.mllib b/stm/stm.mllib index 831369625f..49e7195e27 100644 --- a/stm/stm.mllib +++ b/stm/stm.mllib @@ -3,7 +3,6 @@ Dag Vcs TQueue WorkerPool -Vernac_classifier CoqworkmgrApi AsyncTaskQueue Partac diff --git a/vernac/vernac.mllib b/vernac/vernac.mllib index cd0dd5e9a6..007a3b05fc 100644 --- a/vernac/vernac.mllib +++ b/vernac/vernac.mllib @@ -45,3 +45,4 @@ ComArguments Vernacentries ComTactic Vernacinterp +Vernac_classifier diff --git a/stm/vernac_classifier.ml b/vernac/vernac_classifier.ml index ffae2866c0..ffae2866c0 100644 --- a/stm/vernac_classifier.ml +++ b/vernac/vernac_classifier.ml diff --git a/stm/vernac_classifier.mli b/vernac/vernac_classifier.mli index 61bf3a503a..61bf3a503a 100644 --- a/stm/vernac_classifier.mli +++ b/vernac/vernac_classifier.mli |