From 77b0b252f3ce600e1c70e613af878e74439a585b Mon Sep 17 00:00:00 2001
From: letouzey
Date: Sat, 12 Feb 2011 21:20:07 +0000
Subject: fix last commit about modules (subst_cl_typ may raise Not_found)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13841 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 interp/notation.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/interp/notation.ml b/interp/notation.ml
index f0cdc49cda..0628e72297 100644
--- a/interp/notation.ml
+++ b/interp/notation.ml
@@ -493,7 +493,9 @@ let cache_arguments_scope o =
 
 let subst_arguments_scope (subst,(req,r,scl,cls)) =
   let r' = fst (subst_global subst r) in
-  let cls' = list_smartmap (Option.smartmap (subst_cl_typ subst)) cls in
+  let subst_cl cl =
+    try Option.smartmap (subst_cl_typ subst) cl with Not_found -> None in
+  let cls' = list_smartmap subst_cl cls in
   let scl' = merge_scope (List.map find_class_scope_opt cls') scl in
   let scl'' = List.map (Option.map Declaremods.subst_scope) scl' in
   (ArgsScopeNoDischarge,r',scl'',cls')
-- 
cgit v1.2.3