From c56e6721f8ea10764f29995600f1506e72209423 Mon Sep 17 00:00:00 2001
From: Simone Piccardi <piccardi@gnulinux.it>
Date: Wed, 28 Oct 2015 16:20:48 +0000
Subject: [PATCH] levata doppia

---
 filedir.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/filedir.tex b/filedir.tex
index 2e6a558..55ccf9a 100644
--- a/filedir.tex
+++ b/filedir.tex
@@ -107,7 +107,7 @@ restituisce una \textit{dentry}, abbreviazione che sta per \textit{directory
   entry}. Le \textit{dentry} sono gli oggetti che il kernel usa per eseguire
 la \textit{pathname resolution}, ciascuna di esse corrisponde ad un
 \textit{pathname} e contiene il riferimento ad un \textit{inode}, che come
-vedremo a breve è l'oggetto usato dal kernel per identificare un un
+vedremo a breve è l'oggetto usato dal kernel per identificare un
 file.\footnote{in questo caso si parla di file come di un qualunque oggetto
   generico che sta sul filesystem e non dell'oggetto file del VFS cui
   accennavamo prima.} La \textit{dentry} ottenuta dalla chiamata alla funzione
-- 
2.39.5