From 92616b9f660eaa2640964ca1925b05d37af70c8c Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Sat, 15 Sep 2012 00:39:54 +0000
Subject: Some documentation and cleaning of CList and Util interfaces.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15805 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 interp/reserve.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp/reserve.ml')

diff --git a/interp/reserve.ml b/interp/reserve.ml
index 7a2d4bfe7e..914a85fe8e 100644
--- a/interp/reserve.ml
+++ b/interp/reserve.ml
@@ -79,7 +79,7 @@ let revert_reserved_type t =
     let t = Detyping.detype false [] [] t in
     List.try_find
       (fun (pat,id) ->
-	try let _ = Notation_ops.match_notation_constr false t ([],pat) in Name id
+	try let _ = Notation_ops.match_notation_constr false t ([], pat) in Name id
 	with Notation_ops.No_match -> failwith "") l
   with Not_found | Failure _ -> Anonymous
 
-- 
cgit v1.2.3