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

diff --git a/lib/tlm.ml b/lib/tlm.ml
index 95092a885..1c1483ad4 100644
--- a/lib/tlm.ml
+++ b/lib/tlm.ml
@@ -23,41 +23,41 @@ let in_dom (Node (_,m)) lbl = Gmap.mem lbl m
 let is_empty_node (Node(a,b)) = (Gset.elements a = []) & (Gmap.to_list b = [])
 
 let assure_arc m lbl =
-  if Gmap.mem lbl m then 
+  if Gmap.mem lbl m then
     m
-  else 
+  else
     Gmap.add lbl (Node (Gset.empty,Gmap.empty)) m
 
 let cleanse_arcs (Node (hereset,m)) =
-  let l = Gmap.rng m in 
+  let l = Gmap.rng m in
   Node(hereset, if List.for_all is_empty_node l then Gmap.empty else m)
 
 let rec at_path f (Node (hereset,m)) = function
-  | [] -> 
+  | [] ->
       cleanse_arcs (Node(f hereset,m))
   | h::t ->
-      let m = assure_arc m h in 
+      let m = assure_arc m h in
       cleanse_arcs (Node(hereset,
                          Gmap.add h (at_path f (Gmap.find h m) t) m))
 
 let add tm (path,v) =
   at_path (fun hereset -> Gset.add v hereset) tm path
-    
+
 let rmv tm (path,v) =
   at_path (fun hereset -> Gset.remove v hereset) tm path
 
-let app f tlm = 
+let app f tlm =
   let rec apprec pfx (Node(hereset,m)) =
-    let path = List.rev pfx in 
+    let path = List.rev pfx in
     Gset.iter (fun v -> f(path,v)) hereset;
     Gmap.iter (fun l tm -> apprec (l::pfx) tm) m
-  in 
+  in
   apprec [] tlm
-    
-let to_list tlm = 
+
+let to_list tlm =
   let rec torec pfx (Node(hereset,m)) =
-    let path = List.rev pfx in 
+    let path = List.rev pfx in
     List.flatten((List.map (fun v -> (path,v)) (Gset.elements hereset))::
 		 (List.map (fun (l,tm) -> torec (l::pfx) tm) (Gmap.to_list m)))
-  in 
+  in
   torec [] tlm