X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fhmysql%2FhSql.mli;h=53600b5bf5ca9c90dbfbf21dd37c1b48ad3382a6;hb=9ebbff1619da00a2d42e04def79c59d129ee4a92;hp=23761a2b60f655702fccb10a62f4aa8659e7afab;hpb=15417a6cd2d1ce39afc67d36436864978ec7a8e2;p=helm.git

diff --git a/components/hmysql/hSql.mli b/components/hmysql/hSql.mli
index 23761a2b6..53600b5bf 100644
--- a/components/hmysql/hSql.mli
+++ b/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 *)