Rimando
authorSimone Piccardi <piccardi@gnulinux.it>
Sun, 15 Apr 2012 21:28:41 +0000 (21:28 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Sun, 15 Apr 2012 21:28:41 +0000 (21:28 +0000)
system.tex

index 69c89fd73150504722376a8d68017f4151d44480..37bd7a0f007b9692eed4ff5f8edb97142190dcad 100644 (file)
@@ -2346,8 +2346,8 @@ prototipo è:
   valore \errval{EFAULT} nel suo significato generico.}
 \end{funcproto}
 
-\noindent dove \param{t}, se non nullo, deve essere l'indirizzo di una
-variabile su cui duplicare il valore di ritorno.
+L'argomento \param{t}, se non nullo, deve essere l'indirizzo di una variabile
+su cui duplicare il valore di ritorno.
 
 Analoga a \func{time} è la funzione \funcd{stime} che serve per effettuare
 l'operazione inversa, e cioè per impostare il tempo di sistema qualora questo