]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/hmysql/hSql.mli
is_top_down was not propageted correctly under a bottom-up conversion.
[helm.git] / helm / software / components / hmysql / hSql.mli
index 53600b5bf5ca9c90dbfbf21dd37c1b48ad3382a6..fb678fa5942eaf4e024b929d781ebb8e94fc6f87 100644 (file)
@@ -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