Be more precise with conjunction

shilangyu · shilangyu · commit a7fae79efd51 · 2026-03-20T12:02:46.000+01:00
diff --git a/dune-project b/dune-project
@@ -14,7 +14,7 @@
 
 (package
  (name strict-order-solver)
- (synopsis "Complete solver for strict orders (transitive and irreflexive relations) for Rocq")
+ (synopsis "Complete solver for strict orders (transitive+irreflexive relations) for Rocq")
  (depends
   (rocq-core (>= 9.1.0))
   (rocq-stdlib (>= 9.0.0))))
diff --git a/strict-order-solver.opam b/strict-order-solver.opam
@@ -1,7 +1,7 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
 synopsis:
-  "Complete solver for strict orders (transitive and irreflexive relations) for Rocq"
+  "Complete solver for strict orders (transitive+irreflexive relations) for Rocq"
 maintainer: ["Marcin Wojnarowski"]
 authors: ["Kacper Korban" "Dario Halilovic" "Marcin Wojnarowski"]
 license: "MIT"
