diff --git a/dune-project b/dune-project
index b2e5550..28f22d5 100644
--- a/dune-project
+++ b/dune-project
@@ -1,3 +1,3 @@
 (lang dune 1.9)
 (name SZXX)
-(version 4.1.3)
+(version 4.2.0)