From 72b9a7df489ea47b3e5470741fd39f6100d31676 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Sat, 18 Aug 2007 20:34:57 +0000
Subject: Imported Upstream version 8.1.pl1+dfsg

---
 library/dischargedhypsmap.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'library/dischargedhypsmap.ml')

diff --git a/library/dischargedhypsmap.ml b/library/dischargedhypsmap.ml
index 255f5e75..f515dcb0 100644
--- a/library/dischargedhypsmap.ml
+++ b/library/dischargedhypsmap.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id: dischargedhypsmap.ml 9488 2007-01-17 11:11:58Z herbelin $ *)
+(* $Id: dischargedhypsmap.ml 9903 2007-06-21 17:02:07Z herbelin $ *)
 
 open Util
 open Libnames
@@ -31,7 +31,7 @@ let get_discharged_hyps sp =
   try
    Spmap.find sp !discharged_hyps_map
   with Not_found ->
-   anomaly ("No discharged hypothesis for object " ^ string_of_path sp)
+    []
 
 (*s Registration as global tables and rollback. *)
 
-- 
cgit v1.2.3