diff --git a/src/lib/version.mli b/src/lib/version.mli index 64fe6591..658a9af3 100644 --- a/src/lib/version.mli +++ b/src/lib/version.mli @@ -1,2 +1,3 @@ val version : string -(** Version of the library, e.g. ["0.12"]. ["dev"] if not built from a release. *) +(** Version of the library, e.g. ["0.12"]. ["dev"] if not built from a release. +*)