X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fhmysql%2FhSql.mli;h=fb678fa5942eaf4e024b929d781ebb8e94fc6f87;hb=582e05fe21e170d26986a848c26ca07e97c014bd;hp=23761a2b60f655702fccb10a62f4aa8659e7afab;hpb=ac741958783108ff31552e533c853e85c2ebb1c5;p=helm.git

diff --git a/helm/software/components/hmysql/hSql.mli b/helm/software/components/hmysql/hSql.mli
index 23761a2b6..fb678fa59 100644
--- a/helm/software/components/hmysql/hSql.mli
+++ b/helm/software/components/hmysql/hSql.mli
@@ -43,7 +43,7 @@ type error_code =
  | No_such_index
  | Bad_table_error
  | GENERIC_ERROR of string
-exception Error
+exception Error of string
 
 (* the exceptions raised are from the Mysql module *)
 
@@ -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