diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-09-29 12:36:29 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-11-23 19:22:19 +0100 |
| commit | f36ea3ffb4ef01572db437392174f10650bee67b (patch) | |
| tree | db194ce33918caef9abe3496a7b1d86cca34c2f4 | |
| parent | 0b069d43bd673341f5f115d21b7bb805d485a5ae (diff) | |
Unify style of comments in file CUnix.
| -rw-r--r-- | lib/cUnix.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/cUnix.mli b/lib/cUnix.mli index f79f34016..d08dc4c40 100644 --- a/lib/cUnix.mli +++ b/lib/cUnix.mli @@ -19,7 +19,7 @@ val escaped_string_of_physical_path : physical_path -> string val canonical_path_name : string -> string -(** remove all initial "./" in a path *) +(** Remove all initial "./" in a path *) val remove_path_dot : string -> string (** If a path [p] starts with the current directory $PWD then @@ -64,6 +64,6 @@ val sys_command : string -> string list -> Unix.process_status val waitpid_non_intr : int -> Unix.process_status -(** checks if two file names refer to the same (existing) file *) +(** Check if two file names refer to the same (existing) file *) val same_file : string -> string -> bool |