fixed error message

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.ml b/helm/software/components/ng_kernel/nCicEnvironment.ml
index 3ea534a3a846084da0e950c3c0df0a4f70600b84..b747dcd3fa5dce0d93fa6437f6ca87273510affb 100644 (file)
--- 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