X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fhmysql%2FhSql.mli;h=3c7de40ccb9950a211015ac7e9f099d72dde47e4;hb=65662e7d8de61a338b636f208d04e85eb59e6b8e;hp=6cfc8865542da846ed8acd777b48ce68df62b811;hpb=bb9aa02b52977c05fe678a4e15bfc64e27c2c5f5;p=helm.git

diff --git a/components/hmysql/hSql.mli b/components/hmysql/hSql.mli
index 6cfc88655..3c7de40cc 100644
--- a/components/hmysql/hSql.mli
+++ b/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