X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fhmysql%2FhSql.mli;h=3c7de40ccb9950a211015ac7e9f099d72dde47e4;hb=4c4228417fc38e71bce647174d175561db2afb01;hp=6cfc8865542da846ed8acd777b48ce68df62b811;hpb=111df95ac03f2ee21dfa2422a7f531f675b1c16d;p=helm.git

diff --git a/helm/software/components/hmysql/hSql.mli b/helm/software/components/hmysql/hSql.mli
index 6cfc88655..3c7de40cc 100644
--- a/helm/software/components/hmysql/hSql.mli
+++ b/helm/software/components/hmysql/hSql.mli
@@ -65,6 +65,6 @@ val escape_string_for_like: dbtype -> dbd -> ('a,'b,'c,'a) format4
 
 val isMysql : dbtype -> dbd -> bool
 
-(* this dbd can't du queries, used only in table_creator *)
+(* this dbd can't do queries, used only in table_creator *)
 val fake_db_for_mysql: dbtype -> dbd