X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Futility.mli;h=9e9e8290da129b369b99ea8163f9ae18df9dab04;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=7638932476db22637134e54510fa243decd54579;hpb=8abd42ec1af0d5daef1d026ec550b49b07de8340;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/utility.mli b/helm/ocaml/mathql_interpreter/utility.mli
index 763893247..9e9e8290d 100644
--- a/helm/ocaml/mathql_interpreter/utility.mli
+++ b/helm/ocaml/mathql_interpreter/utility.mli
@@ -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/.
  *)
 
 val pgresult_to_string_list : < get_list : string list list; .. > -> string list