X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=signal.tex;h=4400436bad0132365db47e610298af0bbd877518;hp=a51a08e28297b0b68b794a1ea3edbd38b93baed2;hb=09a3b3a75ff3b6cb6760b9034b093b6d49923b00;hpb=bb6dc092f7af3a6d7aa63e2986b4169b4653156c

diff --git a/signal.tex b/signal.tex
index a51a08e..4400436 100644
--- a/signal.tex
+++ b/signal.tex
@@ -2617,7 +2617,7 @@ hardware che possono supportare risoluzioni molto elevate, ed in maniera del
 tutto indipendente dalla frequenza scelta per il timer di sistema che governa
 lo \textit{scheduler};\footnote{normalmente si possono ottenere precisioni
   fino al microsecondo, andando molto oltre in caso di hardware dedicato.} per
-questo lo standard POSIX ha previsto una serie di nuove funzioni relative a a
+questo lo standard POSIX ha previsto una serie di nuove funzioni relative a
 quelli che vengono chiamati ``\textsl{orologi} \textit{real-time}'', in grado
 di supportare risoluzioni fino al nanosecondo. Inoltre le CPU più moderne sono
 dotate a loro volta di contatori ad alta definizione che consentono una grande