X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=intro.tex;h=82a172d5910e8e8d2fed5aa66a77c3fa32787232;hp=86a959722a356504c1990a71ddced01f7a945bd3;hb=5d7fe3ee9e2509853d2d06902b6b503680135641;hpb=743ef11e68d40acfca27b95a3438b4cec6c59a8a

diff --git a/intro.tex b/intro.tex
index 86a9597..82a172d 100644
--- a/intro.tex
+++ b/intro.tex
@@ -293,10 +293,10 @@ riportate nella terza sezione del \textsl{Manuale di Programmazione di Unix}
 (cioè accessibili con il comando \cmd{man 3 <nome>}) e come accennato non sono
 direttamente associate ad una \textit{system call} anche se, ad esempio per la
 gestione dei file o della allocazione dinamica della memoria, possono farne
-uso nella loro implementazione.  Nonostante questa questa distinzione,
-fondamentale per capire il funzionamento del sistema, l'uso da parte dei
-programmi di una di queste funzioni resta lo stesso, sia che si tratti di una
-funzione interna della libreria che di una \textit{system call}.
+uso nella loro implementazione.  Nonostante questa distinzione, fondamentale
+per capire il funzionamento del sistema, l'uso da parte dei programmi di una
+di queste funzioni resta lo stesso, sia che si tratti di una funzione interna
+della libreria che di una \textit{system call}.
 
 
 \subsection{Un sistema multiutente}