X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=fileintro.tex;h=14e4f274eb7ef4ef6ce9fafb414f67f1900e97c3;hp=0632b7a8fade79cc6f1094d378e1b91dd3a69e7a;hb=0c9d95dfc21869e96f8a3e3ab8111c842e85a1f9;hpb=ce9e7bc52908e92783f1b88faf090e93b06fd320

diff --git a/fileintro.tex b/fileintro.tex
index 0632b7a..14e4f27 100644
--- a/fileintro.tex
+++ b/fileintro.tex
@@ -205,7 +205,7 @@ bufferizzato in quanto la lettura e la scrittura vengono eseguite chiamando
 direttamente le system call del kernel (in realtà il kernel effettua al suo
 interno alcune bufferizzazioni per aumentare l'efficienza nell'accesso ai
 dispositivi); i \textit{file descriptor}\index{file descriptor} sono
-rappresentati da numeri interi (cioè semplici variabili di tipo \type{int}).
+rappresentati da numeri interi (cioè semplici variabili di tipo \ctyp{int}).
 L'interfaccia è definita nell'header \file{unistd.h}.
 
 La seconda interfaccia è quella che il manuale della \acr{glibc} chiama degli
@@ -217,7 +217,7 @@ Questa 
 anche su tutti i sistemi non Unix. Gli \textit{stream} sono oggetti complessi
 e sono rappresentati da puntatori ad un opportuna struttura definita dalle
 librerie del C; si accede ad essi sempre in maniera indiretta utilizzando il
-tipo \type{FILE *}.  L'interfaccia è definita nell'header \type{stdio.h}.
+tipo \ctyp{FILE *}.  L'interfaccia è definita nell'header \file{stdio.h}.
 
 Entrambe le interfacce possono essere usate per l'accesso ai file come agli
 altri oggetti del VFS (fifo, socket, device, sui quali torneremo in dettaglio