Correzioni ed aggiustamenti vari, passati dall'uso di caption2 a quello di

[gapil.git] / listati / redir_stdout.c

    fclose(stdout);
    stdout = fopen("standard-output-file", "w");