diff --git a/commands/default.params b/commands/default.params
index 2f2891f..5f8d492 100644
--- a/commands/default.params
+++ b/commands/default.params
@@ -8,7 +8,7 @@
 #
 ################################################################################
 
-# Crux parameter file (generated by Crux version 4.2-d8b0e1e-2024-09-11)
+# Crux parameter file (generated by Crux version 4.2-a532fee-2024-10-15)
 # Full documentation available at http://cruxtoolkit.sourceforge.net/
 # comet_version 2016.01 rev. 1
 # Everything following the '#' symbol is treated as a comment.