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, 7 insertions, 7 deletions

diff --git a/plugins/micromega/sos.ml b/plugins/micromega/sos.ml
index 87e55c9e1..2512dee92 100644
--- a/plugins/micromega/sos.ml
+++ b/plugins/micromega/sos.ml
@@ -318,16 +318,16 @@ let string_of_vname (v:vname): string = (v: string);;
 let rec string_of_term t =
   match t with
   Opp t1 -> "(- " ^ string_of_term t1 ^ ")"
-| Add (t1, t2) -> 
+| Add (t1, t2) ->
    "(" ^ (string_of_term t1) ^ " + " ^ (string_of_term t2) ^ ")"
-| Sub (t1, t2) -> 
+| Sub (t1, t2) ->
    "(" ^ (string_of_term t1) ^ " - " ^ (string_of_term t2) ^ ")"
-| Mul (t1, t2) -> 
+| Mul (t1, t2) ->
    "(" ^ (string_of_term t1) ^ " * " ^ (string_of_term t2) ^ ")"
 | Inv t1 -> "(/ " ^ string_of_term t1 ^ ")"
-| Div (t1, t2) -> 
+| Div (t1, t2) ->
    "(" ^ (string_of_term t1) ^ " / " ^ (string_of_term t2) ^ ")"
-| Pow (t1, n1) -> 
+| Pow (t1, n1) ->
    "(" ^ (string_of_term t1) ^ " ^ " ^ (string_of_int n1) ^ ")"
 | Zero -> "0"
 | Var v -> "x" ^ (string_of_vname v)
@@ -384,11 +384,11 @@ let print_poly m = Format.print_string(string_of_poly m);;
 (* ------------------------------------------------------------------------- *)
 
 let rec poly_of_term t = match t with
-  Zero -> poly_0 
+  Zero -> poly_0
 | Const n -> poly_const n
 | Var x -> poly_var x
 | Opp t1 -> poly_neg (poly_of_term t1)
-| Inv t1 -> 
+| Inv t1 ->
       let p = poly_of_term t1 in
       if poly_isconst p then poly_const(Int 1 // eval undefined p)
       else failwith "poly_of_term: inverse of non-constant polyomial"