verbosity increased in case of error

diff --git a/helm/software/components/library/librarySync.ml b/helm/software/components/library/librarySync.ml
index 630b51be8a59c4352cf4fe92bbf5d716f6891d1f..9c6c53aeef5e2d43465b98e524c21aecb67112ef 100644 (file)
--- a/helm/software/components/library/librarySync.ml
+++ b/helm/software/components/library/librarySync.ml
@@ -169,7 +169,8 @@ let add_single_obj uri obj refinement_toolkit =
         (* EXPERIMENTAL: pretty print the object in natural language *)
        (try !object_declaration_hook uri obj
         with exc ->
-         prerr_endline "Error: object_declaration_hook failed");
+         prerr_endline ("Error: object_declaration_hook failed"^
+          Printexc.to_string exc));
         try 
          HLog.message
           (Printf.sprintf "%s defined" (UriManager.string_of_uri uri))