Correzioni minori, tolti i \textXX per metterci le macro opportune
[gapil.git] / socket.tex
index e0057fd3bd8fc20126605cec1b49035e4ac20713..fdd6667446595b5e3f7adaff35304668d888c719 100644 (file)
@@ -830,7 +830,7 @@ In \nfig\ 
 elementare per il servizio \textit{daytime}, un servizio standard che
 restituisce l'ora locale della macchina a cui si effettua la richiesta.
 
-\begin{figure}[!htbp]
+\begin{figure}[!htb]
   \footnotesize
   \begin{lstlisting}{}
 #include <sys/types.h>   /* predefined types */