Fix opam-lint

Signed-off-by: Filipe Marques <[email protected]>
formalsec · Mar 14, 2024 · c8ae5be · c8ae5be
1 parent cfddc4b
commit c8ae5be
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/dune-project b/dune-project
@@ -15,8 +15,8 @@
 
 (package
  (name instrumentation2)
- (synopsis "instrumentation2")
- (description "instrumentation2")
+ (synopsis "Instrumentation2")
+ (description "Instrumentation2")
  (depends
   ocaml
   dune

diff --git a/instrumentation2.opam b/instrumentation2.opam
@@ -1,7 +1,7 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-synopsis: "instrumentation2"
-description: "instrumentation2"
+synopsis: "Instrumentation2"
+description: "Instrumentation2"
 maintainer: ["Filipe Marques"]
 authors: ["Filipe Marques"]
 license: "GPL-3.0-only"