From b82f2275e30c7ae035c719cb001771de9d0baa32 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 14 May 2008 16:26:41 +0000 Subject: [PATCH] fixed error message --- helm/software/components/ng_kernel/nCicEnvironment.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/software/components/ng_kernel/nCicEnvironment.ml b/helm/software/components/ng_kernel/nCicEnvironment.ml index 3ea534a3a..b747dcd3f 100644 --- a/helm/software/components/ng_kernel/nCicEnvironment.ml +++ b/helm/software/components/ng_kernel/nCicEnvironment.ml @@ -59,8 +59,8 @@ let get_checked_obj u = raise e | Propagate (u',_) as e' -> frozen_list := saved_frozen_list; - let exn = `Exn (BadDependency (lazy (NUri.string_of_uri u' ^ - " depends (recursively) on " ^ NUri.string_of_uri u ^ + let exn = `Exn (BadDependency (lazy (NUri.string_of_uri u ^ + " depends (recursively) on " ^ NUri.string_of_uri u' ^ " which is not well-typed"))) in NUri.UriHash.add cache u exn; if saved_frozen_list = [] then -- 2.39.2