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

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