Trim trailing whitespace in affine equality domain

Author: sim642

src/cdomains/affineEquality/arrayImplementation/arrayMatrix.ml

@@ -6,7 +6,7 @@ open Batteries
 
 let timing_wrap = Vector.timing_wrap
 
-module type ArrayMatrix = 
+module type ArrayMatrix =
 sig
   include Matrix
   val get_col: t -> int -> vec
@@ -61,7 +61,7 @@ module ArrayMatrix: ArrayMatrixFunctor =
       Array.length m
 
     let compare_num_rows m1 m2 =
-      Int.compare (Array.length m1) (Array.length m2) 
+      Int.compare (Array.length m1) (Array.length m2)
 
     let is_empty m =
       (num_rows m = 0)

src/cdomains/affineEquality/arrayImplementation/arrayVector.ml

@@ -3,8 +3,8 @@ open RatOps
 
 open Batteries
 
-module type ArrayVector = 
-sig 
+module type ArrayVector =
+sig
   include Vector
   val mapi_with: (int -> num -> num) -> t -> unit
 
@@ -117,7 +117,7 @@ module ArrayVector: ArrayVectorFunctor =
       List.iter (fun (idx, value) -> vec.(idx) <- value) ls;
       vec
 
-    let to_sparse_list v = 
+    let to_sparse_list v =
       let rec aux idx acc =
         if idx < 0 then acc
         else

src/cdomains/affineEquality/matrix.ml

@@ -9,7 +9,7 @@ sig
 
   val copy: t -> t
 
-  val empty: unit -> t 
+  val empty: unit -> t
 
   val is_empty: t -> bool
 

src/cdomains/apron/affineEqualityDenseDomain.apron.ml

@@ -450,8 +450,8 @@ struct
     let assigned_vars = List.map fst vv's in
     let t = add_vars t assigned_vars in                           (* introduce all lhs-variables to the relation data structure *)
     let primed_vars = List.init                                   (* create a list with primed variables "i'" for each lhs-variable *)
-        (List.length assigned_vars) 
-        (fun i -> Var.of_string (Int.to_string i  ^"'")) 
+        (List.length assigned_vars)
+        (fun i -> Var.of_string (Int.to_string i  ^"'"))
     in (* TODO: we use primed integers as var names, conflict? *)
     let t_primed = add_vars t primed_vars in                      (* introduce primed variables to the relation data structure *)
     (* sequence of assignments: i' = snd vv_i : *)