diff --git a/lib/des/gen-des.pl b/lib/des/gen-des.pl index aa7e4fc20..a71a6825d 100644 --- a/lib/des/gen-des.pl +++ b/lib/des/gen-des.pl @@ -4,6 +4,8 @@ use strict; +print "/* GENERATE FILE from gen-des.pl, do not edit */\n\n"; + my $gen = 1; sub gen_pattern