Correzioni e integrazioni

diff --git a/system.tex b/system.tex
index 4ce46aaf47452f58cf243a3364a34b508924a5ca..e2b9a4cc47c325f7c67287969290e33c9af173f7 100644 (file)
--- a/system.tex
+++ b/system.tex
@@ -2542,7 +2542,9 @@ Stampa un messaggio di errore formattato.
 \noindent ed il suo comportamento è identico a quello di \func{error} se non
 per il fatto che, separati con il solito due punti-spazio, vengono inseriti un
 nome di file indicato da \param{fname} ed un numero di linea subito dopo la
 \noindent ed il suo comportamento è identico a quello di \func{error} se non
 per il fatto che, separati con il solito due punti-spazio, vengono inseriti un
 nome di file indicato da \param{fname} ed un numero di linea subito dopo la

-stampa del nome del programma.
+stampa del nome del programma. Inoltre essa usa un'altra variabile globale,
+\var{error\_one\_per\_line}, che settata ad un valore diverso da zero fa si
+che errori relativi alla stessa linea non vengano ripetuti.