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

3 files changed, 5 insertions, 5 deletions

diff --git a/dev/ocamlweb-doc/ast.ml b/dev/ocamlweb-doc/ast.ml
index 2153ef47c0..4eb135d83c 100644
--- a/dev/ocamlweb-doc/ast.ml
+++ b/dev/ocamlweb-doc/ast.ml
@@ -22,7 +22,7 @@ type constr_ast =
       (string * binder list * constr_ast * string option * constr_ast) list *
       string
 | Match of case_item list * constr_ast option *
-           (pattern list * constr_ast) list 
+           (pattern list * constr_ast) list
 
 and red_fun = Simpl
 
@@ -34,7 +34,7 @@ and fix_kind = Fix | CoFix
 
 and case_item = constr_ast * (string option * constr_ast option)
 
-and pattern = 
+and pattern =
   PatAs of pattern * string
 | PatType of pattern * constr_ast
 | PatConstr of string * pattern list
diff --git a/dev/ocamlweb-doc/lex.mll b/dev/ocamlweb-doc/lex.mll
index 617163e7e7..059526d9bf 100644
--- a/dev/ocamlweb-doc/lex.mll
+++ b/dev/ocamlweb-doc/lex.mll
@@ -7,7 +7,7 @@
 
  let comment_depth = ref 0
  let print s = output_string !chan_out s
- 
+
  exception Fin_fichier
 
 }
@@ -77,5 +77,5 @@ and comment = parse
   | "(*" (*"*)"*)  { incr comment_depth; comment lexbuf }
   | (*"(*"*) "*)"
       { decr comment_depth; if !comment_depth > 0 then comment lexbuf }
-  | eof   { raise Fin_fichier } 
+  | eof   { raise Fin_fichier }
   | _     { comment lexbuf }
diff --git a/dev/ocamlweb-doc/parse.ml b/dev/ocamlweb-doc/parse.ml
index e537b1f2f4..b145fffda6 100644
--- a/dev/ocamlweb-doc/parse.ml
+++ b/dev/ocamlweb-doc/parse.ml
@@ -82,7 +82,7 @@ let rec str_stack = function
   | Term (t,s) -> str_stack s ^ " (" ^ str_ast t ^ ")"
   | Oper(ops,lop,t,s) ->
       str_stack (Term(t,s)) ^ " " ^ lop ^ " " ^
-      String.concat " " (List.rev ops) 
+      String.concat " " (List.rev ops)
 
 let pps s = prerr_endline (str_stack s)
 let err s stk = failwith (s^": "^str_stack stk)