Skip to content

Commit

Permalink
Fix opam warning about synopsis
Browse files Browse the repository at this point in the history
  • Loading branch information
@Gbury
Gbury committed Nov 6, 2023
1 parent 195f564 commit 09f0dda
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion dolmen_model.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,4 +25,4 @@ bug-reports: "https://github.com/Gbury/dolmen/issues"
doc: "https://gbury.github.io/dolmen"
synopsis:
"The Dolmen library for verifying models generated by
automated theorem provers and SMT solvers."
automated theorem provers and SMT solvers"

0 comments on commit 09f0dda

Please sign in to comment.