Update comment of DieHarder specification to reflect three constant parameters.

[Doc]

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>

Author: lemmy

specifications/DieHard/DieHarder.tla

@@ -6,7 +6,7 @@
 EXTENDS Naturals
 
 (***************************************************************************)
-(* We now declare two constant parameters.                                 *)
+(* We now declare three constant parameters.                               *)
 (***************************************************************************)
 
 CONSTANT Jug,      \* The set of all jugs.