Bump version of liquid-prelude and update LH changelog

facundominguez · facundominguez · commit ec5da86a3aeb · 2024-08-21T12:39:34.000-03:00
diff --git a/CHANGES.md b/CHANGES.md
@@ -2,7 +2,10 @@
 
 ## Next
 
+## 0.9.8.2 (2024-08-21)
+
 - Support for GHC 9.8.2.
+- Implement assume-reflect, a feature to assume the reflection of functions in dependencies [2313](https://github.com/ucsd-progsys/liquidhaskell/pull/2313).
 - Fixed the polymorphism-related crash in liquid-fixpoint caused by a restrictive theory encoding [#2272](https://github.com/ucsd-progsys/liquidhaskell/issues/2272).
 
 ## 0.9.8.1 (2024-02-05)
diff --git a/liquid-prelude/liquid-prelude.cabal b/liquid-prelude/liquid-prelude.cabal
@@ -1,6 +1,6 @@
 cabal-version:      1.24
 name:               liquid-prelude
-version:            0.9.2.8.1
+version:            0.9.2.8.2
 synopsis:           General utility modules for LiquidHaskell
 description:        General utility modules for LiquidHaskell.
 license:            BSD3
