diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2012-10-17 21:01:34 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2012-10-17 21:01:34 +0000 |
| commit | ce01d56eb5641195ac35af2ea8b50c4e9dedf338 (patch) | |
| tree | c1658e86ee5e7c0817b52e0ef203fb71fdd90115 /stdlib/queue.ml | |
| parent | 4e31e840c596cd351950ba1e339a2d91f2314079 (diff) | |
remove non-ascii chars
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13029 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/queue.ml')
| -rw-r--r-- | stdlib/queue.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/queue.ml b/stdlib/queue.ml index 214cc524e..6d82d2593 100644 --- a/stdlib/queue.ml +++ b/stdlib/queue.ml @@ -2,7 +2,7 @@ (* *) (* OCaml *) (* *) -(* François Pottier, projet Cristal, INRIA Rocquencourt *) +(* Francois Pottier, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 2002 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) |