]> matita.cs.unibo.it Git - helm.git/blobdiff - components/hmysql/hSql.mli
We add a binary for computing the "heights" of helm objects
[helm.git] / components / hmysql / hSql.mli
index 6cfc8865542da846ed8acd777b48ce68df62b811..3c7de40ccb9950a211015ac7e9f099d72dde47e4 100644 (file)
@@ -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