📝 Update CHANGELOG.md

lsrcz · Aug 18, 2024 · e60e471 · e60e471
1 parent e87f22f
commit e60e471
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -15,6 +15,8 @@ Versioning](https://semver.org/spec/v2.0.0.html).
   ([#250](https://github.com/lsrcz/grisette/pull/250))
 - Added support for uninterpreted functions in unified interfaces.
   ([#250](https://github.com/lsrcz/grisette/pull/250))
+- Added instances for concrete `Ratio` type.
+  ([#251](https://github.com/lsrcz/grisette/pull/251))
 
 ### Changed
 - [Breaking] Moved the constraints for the general and tabular functions and