From c526b81a9a682edf2270cb544e61fe60355003dc Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 13 Mar 2013 00:00:49 +0000
Subject: Restrict (try...with...) to avoid catching critical exn (part 13)

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

(limited to 'lib')

diff --git a/lib/bigint.mli b/lib/bigint.mli
index 8b61a1fb61..8c2bf5c488 100644
--- a/lib/bigint.mli
+++ b/lib/bigint.mli
@@ -11,7 +11,7 @@
 type bigint
 
 val of_string : string -> bigint
-(** May a Failure just as [int_of_string] on non-numerical strings *)
+(** May raise a Failure just as [int_of_string] on non-numerical strings *)
 
 val to_string : bigint -> string
 
-- 
cgit v1.2.3