-sez.~\ref{sec:proc_race_cond}, in cui si genera una race condition\index{race
- condition}; se infatti il segnale arriva immediatamente dopo l'esecuzione
-del controllo (\texttt{\small 6}) ma prima della cancellazione del flag
-(\texttt{\small 7}), la sua occorrenza sarà perduta.
+sez.~\ref{sec:proc_race_cond}, in cui si genera una race condition
+\index{race condition}; se infatti il segnale arriva immediatamente dopo
+l'esecuzione del controllo (\texttt{\small 6}) ma prima della cancellazione
+del flag (\texttt{\small 7}), la sua occorrenza sarà perduta.