Dans create, s'assurer que la taille est > 0

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2374 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 1 insertions, 0 deletions

diff --git a/stdlib/buffer.ml b/stdlib/buffer.ml
index 63167d151..f020b836a 100644
--- a/stdlib/buffer.ml
+++ b/stdlib/buffer.ml
@@ -18,6 +18,7 @@ type t =
   initial_buffer : string}
 
 let create n =
+ if n <= 0 then invalid_arg "Buffer.create";
  let s = String.create n in
  {buffer = s; position = 0; length = String.length s; initial_buffer = s}