summaryrefslogtreecommitdiff
path: root/stdlib/filename.ml
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1999-02-24 15:21:50 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1999-02-24 15:21:50 +0000
commit5038f3cdb6377dfc84e4642b710c1a1949060e1d (patch)
tree5d40d3f38506e477142555e1a22fa860236f566c /stdlib/filename.ml
parent6fb83c93fcf5a7687ebaf084daf3933ff23c22e9 (diff)
downloadocaml-5038f3cdb6377dfc84e4642b710c1a1949060e1d.tar.gz
Ajout de Pervasives.ignore. List.remove -> List.remove_ass*
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/filename.ml')
-rw-r--r--stdlib/filename.ml4
1 files changed, 1 insertions, 3 deletions
diff --git a/stdlib/filename.ml b/stdlib/filename.ml
index f3279c95fb..6368b7f3a6 100644
--- a/stdlib/filename.ml
+++ b/stdlib/filename.ml
@@ -65,9 +65,7 @@ let wnt_is_implicit n =
&& (String.length n < 3 || String.sub n 0 3 <> "..\\")
;;
-let contains_colon n =
- try let _ = String.index n ':' in true
- with Not_found -> false
+let contains_colon n = String.contains n ':'
;;
let mac_is_relative n =