X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=prochand.tex;h=fc5e47746ad46a1fbb237faa2d368bee530d915c;hp=a43fdf848d0ee27352ce3afbd2855075c8fcc882;hb=b0f9e84fb388f894bf26c87ffa304847bddfa3b0;hpb=75f347126b2425b5aeafefec9b18a97f5646f10d

diff --git a/prochand.tex b/prochand.tex
index a43fdf8..fc5e477 100644
--- a/prochand.tex
+++ b/prochand.tex
@@ -3065,7 +3065,7 @@ una risorsa contesa con altri processi, e si vuole dare agli altri una
 possibilità di approfittarne mettendoli in esecuzione, ma chiamarla senza
 necessità, specie se questo avviene ripetutamente all'interno di un qualche
 ciclo, può avere invece un forte impatto negativo per la generazione di
-\itindex{contest~switch} \textit{contest switch} inutili.
+\textit{context switch} inutili.
 
 
 \subsection{Il controllo dello \textit{scheduler} per i sistemi