Cic2acic : added some debugging information

[helm.git] / components / cic_acic / cic2acic.mli

diff --git a/components/cic_acic/cic2acic.mli b/components/cic_acic/cic2acic.mli
index e6379283d61f98b173154cd4d256e08a70a667f0..b63a585e6bab0aafaa6cfc8faba6bace779f3cf6 100644 (file)
--- a/components/cic_acic/cic2acic.mli
+++ b/components/cic_acic/cic2acic.mli
@@ -23,7 +23,7 @@
  * http://cs.unibo.it/helm/.
  *)
 
-exception NotEnoughElements
+exception NotEnoughElements of string
 
 val source_id_of_id : string -> string