X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Futility.ml;h=5ea9b7e672f2be2a3c783f4fcf90fd01222d1df2;hb=ba64642ca7771cd9cc7b9f73476c8f608ffeeda5;hp=e3776cfbd1ff5e4ff5090016b41e0a4dcf449096;hpb=8abd42ec1af0d5daef1d026ec550b49b07de8340;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/utility.ml b/helm/ocaml/mathql_interpreter/utility.ml
index e3776cfbd..5ea9b7e67 100644
--- a/helm/ocaml/mathql_interpreter/utility.ml
+++ b/helm/ocaml/mathql_interpreter/utility.ml
@@ -20,7 +20,7 @@
  * MA  02111-1307, USA.
  * 
  * For details, see the HELM World-Wide-Web page,
- * http://cs.unibo.it/helm/.
+ * http://www.cs.unibo.it/helm/.
  *)
 
 (*