Correzioni varie, imprecisioni nella gestione dei segnali, maggiori dettagli
[gapil.git] / process.tex
index 17c6e37d58a6537bb9a8185d78fded8f2f405c74..3c37dc0aef95cebaff7a404963c468817f46d23e 100644 (file)
@@ -956,7 +956,7 @@ elementi di \param{argv} che cominciano con il carattere \texttt{'-'}.
 
 \begin{figure}[htb]
   \footnotesize \centering
 
 \begin{figure}[htb]
   \footnotesize \centering
-  \begin{minipage}[c]{15cm}
+  \begin{minipage}[c]{15.6cm}
   \includecodesample{listati/option_code.c}
   \end{minipage}
   \normalsize
   \includecodesample{listati/option_code.c}
   \end{minipage}
   \normalsize