From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 14 May 2008 16:26:41 +0000 (+0000)
Subject: fixed error message
X-Git-Tag: make_still_working~5210
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b82f2275e30c7ae035c719cb001771de9d0baa32;p=helm.git

fixed error message
---

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