Use checked_oint v0.4.1

hirrolot · hirrolot · commit 7fb97fe1cd0b · 2025-03-23T08:59:07.000+05:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -16,6 +16,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
  - Do not share syntactically equal arguments during postprocessing.
  - Preserve names of global unknowns and constructor parameters in residual code (refreshing if necessary).
  - Use a more lenient WQO for strings: _set(s1) = set(s2) /\ length(s1) <= length(s2)_.
+ - Set the minimum `checked_oint` version requirement to [`0.4.1`](https://github.com/hirrolot/checked_oint/blob/master/CHANGELOG.md#041---2025-01-03).
+   - This fixes compilation on Fedora Linux, openSUSE, FreeBSD, and Oracle Linux.
 
 ### Fixed
 
diff --git a/dune-project b/dune-project
@@ -28,7 +28,7 @@
   dune
   pprint
   (checked_oint
-   (>= 0.4.0))
+   (>= 0.4.1))
   ppx_deriving
   ppx_string_interpolation
   ppx_yojson_conv
diff --git a/mazeppa.opam b/mazeppa.opam
@@ -12,7 +12,7 @@ depends: [
   "ocaml" {>= "4.14"}
   "dune" {>= "3.14"}
   "pprint"
-  "checked_oint" {>= "0.4.0"}
+  "checked_oint" {>= "0.4.1"}
   "ppx_deriving"
   "ppx_string_interpolation"
   "ppx_yojson_conv"
