Correzioni varie e trattazione shared subtree, aggiornamento di mount,

[gapil.git] / intro.tex

diff --git a/intro.tex b/intro.tex
index 86a959722a356504c1990a71ddced01f7a945bd3..82a172d5910e8e8d2fed5aa66a77c3fa32787232 100644 (file)
--- 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}