X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=filestd.tex;h=87eb446b9e36f5c2aac598ed893511ff977e1f48;hp=ce45b85454f341672099825d34e7f686544a160f;hb=9a577c89dd563aacbc619e09bf8b6d99b533274a;hpb=4e1da5b259a86278710be32441de7b88b9287ec1

diff --git a/filestd.tex b/filestd.tex
index ce45b85..87eb446 100644
--- a/filestd.tex
+++ b/filestd.tex
@@ -385,7 +385,7 @@ e scarta quelli in ingresso, chiudendo tutti i file. Questa funzione è
 provvista solo per i casi di emergenza, quando si è verificato un errore
 ed il programma deve essere abortito, ma si vuole compiere qualche altra
 operazione dopo aver chiuso i file e prima di uscire (si ricordi quanto
-visto in sez.~\ref{sec:proc_exit}).
+visto in sez.~\ref{sec:proc_conclusion}).
 
 
 \subsection{Lettura e scrittura su uno stream}