From 9f2c21d0360979096999aaecd5265cc12ac86fef Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 5 Mar 2008 10:18:51 +0000 Subject: [PATCH] verbosity increased in case of error --- helm/software/components/library/librarySync.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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)) -- 2.39.2