diff --git a/commands/default.params b/commands/default.params
index 7281a2c..ce39c2f 100644
--- a/commands/default.params
+++ b/commands/default.params
@@ -8,7 +8,7 @@
 #
 ################################################################################
 
-# Crux parameter file (generated by Crux version 4.2-78fe262-2024-04-08)
+# Crux parameter file (generated by Crux version 4.2-e480be6-2024-04-15)
 # Full documentation available at http://cruxtoolkit.sourceforge.net/
 # comet_version 2016.01 rev. 1
 # Everything following the '#' symbol is treated as a comment.