From: Simone Piccardi <piccardi@gnulinux.it>
Date: Wed, 22 May 2002 21:43:02 +0000 (+0000)
Subject: Correzioni e integrazioni
X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=commitdiff_plain;h=21f68aeaebed8afa19039115dd97dde5f03caae0;hp=6ce85e92226a2248d512174c15ab9ea8afb19c32

Correzioni e integrazioni
---

diff --git a/system.tex b/system.tex
index 4ce46aa..e2b9a4c 100644
--- 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
-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.