diff options
| author | Jules Aguillon <juloo.dsi@gmail.com> | 2021-10-07 19:34:24 +0200 |
|---|---|---|
| committer | Jules Aguillon <jules@j3s.fr> | 2022-01-28 15:58:45 +0100 |
| commit | dfa5feb01be70ec4da4eabd142e9988d44b9a923 (patch) | |
| tree | ac8c291d7ed227ef2021d103cdad7ffd8cb73fcc /utils/diffing.mli | |
| parent | f22a84b4fdaafa92ed2a6a783ec8f8d249baf780 (diff) | |
| download | ocaml-dfa5feb01be70ec4da4eabd142e9988d44b9a923.tar.gz | |
odoc: Fix syntax errors in comments
Diffstat (limited to 'utils/diffing.mli')
| -rw-r--r-- | utils/diffing.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/diffing.mli b/utils/diffing.mli index 1d4588ba77..e89eabddf8 100644 --- a/utils/diffing.mli +++ b/utils/diffing.mli @@ -14,7 +14,7 @@ (* *) (**************************************************************************) -(** {0 Parametric diffing} +(** {1 Parametric diffing} This module implements diffing over lists of arbitrary content. It is parameterized by |