diff --git a/aern2-real.cabal b/aern2-real.cabal
--- a/aern2-real.cabal
+++ b/aern2-real.cabal
@@ -4,10 +4,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 1ee9cd11320b2755650a6147dba4bfe80cf5c45f8e6f6f3fe4e25c2a629c76ce
+-- hash: 3151e2ca5ff87f336ef6dcee52880846eb078521c97ccaadf6e06c9754fe11ed
 
 name:           aern2-real
-version:        0.2.4.1
+version:        0.2.4.2
 synopsis:       Real numbers as sequences of MPBalls
 description:    Please see the README on GitHub at <https://github.com/michalkonecny/aern2/#readme>
 category:       Math