From cfbfe13f5b515ae2e3c6cdd97e2ccee03bc26e56 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Sun, 1 Feb 2009 00:54:40 +0100
Subject: Imported Upstream version 8.2~rc2+dfsg

---
 library/libobject.ml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'library/libobject.ml')

diff --git a/library/libobject.ml b/library/libobject.ml
index 6b302447..b455e2b3 100644
--- a/library/libobject.ml
+++ b/library/libobject.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id: libobject.ml 11282 2008-07-28 11:51:53Z msozeau $ *)
+(* $Id: libobject.ml 11739 2009-01-02 19:33:19Z herbelin $ *)
 
 open Util
 open Names
@@ -148,8 +148,9 @@ let apply_dyn_fun deflt f lobj =
 	  if !relax_flag then
 	    failwith "local to_apply_dyn_fun"
 	  else
-	    anomaly
-	      ("Cannot find library functions for an object with tag "^tag) in 
+	    error
+	      ("Cannot find library functions for an object with tag "^tag^
+	       " (maybe a plugin is missing)") in 
 	f dodecl
     with
 	Failure "local to_apply_dyn_fun" -> deflt;;
-- 
cgit v1.2.3