X-Git-Url: https://gapil.gnulinux.it/gitweb/?a=blobdiff_plain;f=prochand.tex;h=77fde66866240282070bde592145adfcec005bf4;hb=178bf99c6bcb8b3ce3b95082212cb380988bb193;hp=c92f737f780c1f6e1eb6c8070d35d1722e3b77ce;hpb=1bc54870307368cc8c74e07f7f4dd53498e09db0;p=gapil.git

diff --git a/prochand.tex b/prochand.tex
index c92f737..77fde66 100644
--- a/prochand.tex
+++ b/prochand.tex
@@ -3231,7 +3231,7 @@ file, o nell'accesso a meccanismi di intercomunicazione come la memoria
 condivisa. In questi casi, se non si dispone della possibilità di eseguire
 atomicamente le operazioni necessarie, occorre che quelle parti di codice in
 cui si compiono le operazioni sulle risorse condivise (le cosiddette
-\textsl{sezioni critiche}\index{sezioni~critiche}) del programma, siano
+\textsl{sezioni critiche}\index{sezione~critica}) del programma, siano
 opportunamente protette da meccanismi di sincronizzazione (torneremo su queste
 problematiche di questo tipo in cap.~\ref{cha:IPC}).