Delete trailing whitespaces in all *.{v,ml*} files

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12337 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 4 insertions, 4 deletions

diff --git a/lib/system.mli b/lib/system.mli
index 7556ed9e4d..2932d7b669 100644
--- a/lib/system.mli
+++ b/lib/system.mli
@@ -48,22 +48,22 @@ val marshal_in : in_channel -> 'a
 
 exception Bad_magic_number of string
 
-val raw_extern_intern : int -> string -> 
+val raw_extern_intern : int -> string ->
   (string -> string * out_channel) * (string -> in_channel)
 
-val extern_intern : ?warn:bool -> int -> string -> 
+val extern_intern : ?warn:bool -> int -> string ->
   (string -> 'a -> unit) * (load_path -> string -> 'a)
 
 (*s Sending/receiving once with external executable *)
 
-val connect : (out_channel -> unit) -> (in_channel -> 'a) -> string -> 'a 
+val connect : (out_channel -> unit) -> (in_channel -> 'a) -> string -> 'a
 
 (*s [run_command converter f com] launches command [com], and returns
     the contents of stdout and stderr that have been processed with
     [converter]; the processed contents of stdout and stderr is also
     passed to [f] *)
 
-val run_command : (string -> string) -> (string -> unit) -> string -> 
+val run_command : (string -> string) -> (string -> unit) -> string ->
   Unix.process_status * string
 
 (*s Time stamps. *)