X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=ipc.tex;h=2e4d3811119702c993539b5554b91e0f29e638e9;hp=6cfa2e68acc5e89dce280798d8d02f41d0d45e93;hb=da988ff2a5d8037c11a743470bf29cb4038d43ae;hpb=86daf7e40ebb0b24397b67e1a272100bcccd539a

diff --git a/ipc.tex b/ipc.tex
index 6cfa2e6..2e4d381 100644
--- a/ipc.tex
+++ b/ipc.tex
@@ -3220,7 +3220,7 @@ mutex (qui avviene il blocco se la memoria condivisa non 
 (\texttt{\small 32--40}) si stampano i vari valori in essa contenuti. Infine
 (\texttt{\small 41}) si rilascia il mutex. 
 
-Verifichiamo allora il funzionamento del nostro monitor; 
+Verifichiamo allora il funzionamento del nostro programma