Patch to add a debugging string to HExtlib.split_nth reverted

[helm.git] / helm / software / components / ng_kernel / nCicEnvironment.mli

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.mli b/helm/software/components/ng_kernel/nCicEnvironment.mli
index 1c530061a469b9cb7e459d13f9e00230dd77d1a6..4604bd2fdf2fe4a49537862fe88fc3f53f2ebf9b 100644 (file)
--- a/helm/software/components/ng_kernel/nCicEnvironment.mli
+++ b/helm/software/components/ng_kernel/nCicEnvironment.mli
@@ -13,7 +13,7 @@
 
 exception CircularDependency of string Lazy.t;;
 exception ObjectNotFound of string Lazy.t;;
-exception BadDependency of string Lazy.t;;
+exception BadDependency of string Lazy.t * exn;;
 exception BadConstraint of string Lazy.t;;
 
 val get_checked_obj: NUri.uri -> NCic.obj