X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=sockctrl.tex;h=37084e5116dfbe3aa83fafe66e4a8c46448cfc55;hp=df3ed6921e0c0feb3ffb826be486b32ca4913bf8;hb=dc6f430983f53479f813a2b7bc5ec6517e4b7e98;hpb=5caa39643ac00a899fd137969f04831c569929e5

diff --git a/sockctrl.tex b/sockctrl.tex
index df3ed69..37084e5 100644
--- a/sockctrl.tex
+++ b/sockctrl.tex
@@ -2365,7 +2365,7 @@ chiuso dopo aver impostato un errore di \errcode{ETIMEDOUT}. Qualora la
 connessione si sia ristabilita e si riceva un successivo messaggio di risposta
 il ciclo riparte come se niente fosse avvenuto.  Infine se si riceve come
 risposta un pacchetto ICMP di destinazione irraggiungibile (vedi
-sez.~\ref{sec:icmp_protocol_xxx}), verrà restituito l'errore corrispondente.
+sez.~\ref{sec:ICMP_protocol}), verrà restituito l'errore corrispondente.
 
 In generale questa opzione serve per individuare una caduta della connessione
 anche quando non si sta facendo traffico su di essa.  Viene usata