X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fhmysql%2FhSql.mli;h=fb678fa5942eaf4e024b929d781ebb8e94fc6f87;hb=45d665041eae44ef5527e2c5a65329493d742ef3;hp=53600b5bf5ca9c90dbfbf21dd37c1b48ad3382a6;hpb=946f85ff8a6cbfd3712a73919cdadc4d99916971;p=helm.git

diff --git a/components/hmysql/hSql.mli b/components/hmysql/hSql.mli
index 53600b5bf..fb678fa59 100644
--- a/components/hmysql/hSql.mli
+++ b/components/hmysql/hSql.mli
@@ -64,4 +64,6 @@ val errno : dbd -> error_code
 
 val escape: string -> string
 
+val escape_string_for_like: ('a,'b,'c,'a) format4
+
 val isMysql : bool