From 26fb2b92acf70e43f71baa77d1c0d595ab71b143 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Thu, 27 Jun 2002 08:48:26 +0000
Subject: Ajout operation is_empty

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4956 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 stdlib/stack.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'stdlib/stack.ml')

diff --git a/stdlib/stack.ml b/stdlib/stack.ml
index f49ed547f..03277d079 100644
--- a/stdlib/stack.ml
+++ b/stdlib/stack.ml
@@ -35,6 +35,8 @@ let top s =
     hd::_ -> hd
   | []     -> raise Empty
 
+let is_empty s = (s.c = [])
+
 let length s = List.length s.c
 
 let iter f s = List.iter f s.c
-- 
cgit v1.2.3-70-g09d2