X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FlibrarySync.ml;h=9c6c53aeef5e2d43465b98e524c21aecb67112ef;hb=9f2c21d0360979096999aaecd5265cc12ac86fef;hp=630b51be8a59c4352cf4fe92bbf5d716f6891d1f;hpb=20377cd037f6cc5eb9c6a5664354a8a0189d3f4f;p=helm.git

diff --git a/helm/software/components/library/librarySync.ml b/helm/software/components/library/librarySync.ml
index 630b51be8..9c6c53aee 100644
--- 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))