Fix synopsis

opam now has warnings for synopsis, specifyin that they should start with a capital and not end with a dot.
Gbury · Oct 26, 2023 · 55fdf07 · 55fdf07
1 parent baaf1f9
commit 55fdf07
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dolmen_type.opam b/dolmen_type.opam
@@ -22,4 +22,4 @@ dev-repo: "git+https://github.com/Gbury/dolmen.git"
 bug-reports: "https://github.com/Gbury/dolmen/issues"
 
 doc: "https://gbury.github.io/dolmen"
-synopsis: "The Dolmen library for typecheking languages."
+synopsis: "The Dolmen library for typechecking languages"