]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/hmysql/hSql.mli
HSql.Error ==> HSql.Error of string
[helm.git] / helm / software / components / hmysql / hSql.mli
index 23761a2b60f655702fccb10a62f4aa8659e7afab..53600b5bf5ca9c90dbfbf21dd37c1b48ad3382a6 100644 (file)
@@ -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 *)