* better text format for management operators in ppudump.pp

git-svn-id: trunk@36202 -

compiler/utils/ppuutils/ppudump.pp

@@ -2337,7 +2337,7 @@ begin
          if first then
            begin
              write(space);
-             write('Management operator options: ');
+             write('Management operators: ');
              first:=false;
            end
          else