diff options
| -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 |