Fix indentation in goblint_domain

src/domain/boolDomain.ml

@@ -4,10 +4,10 @@ module Bool =
 struct
   include Basetype.RawBools
   (* type t = bool
-  let equal = Bool.equal
-  let compare = Bool.compare
-  let relift x = x
-  let arbitrary () = QCheck.bool *)
+     let equal = Bool.equal
+     let compare = Bool.compare
+     let relift x = x
+     let arbitrary () = QCheck.bool *)
 
   let pretty_diff () (x,y) = GoblintCil.Pretty.dprintf "%s: %a not leq %a" (name ()) pretty x pretty y
 end

src/domain/hoareDomain.ml

@@ -134,13 +134,15 @@ struct
   let equal x y = leq x y && leq y x
   let hash xs = fold (fun v a -> a + E.hash v) xs 0
   let compare x y =
-    if equal x y
-      then 0
+    if equal x y then
+      0
+    else (
+      let caridnality_comp = compare (cardinal x) (cardinal y) in
+      if caridnality_comp <> 0 then
+        caridnality_comp
       else
-        let caridnality_comp = compare (cardinal x) (cardinal y) in
-        if caridnality_comp <> 0
-          then caridnality_comp
-          else Map.compare (List.compare E.compare) x y
+        Map.compare (List.compare E.compare) x y
+    )
   let show x : string =
     let all_elems : string list = List.map E.show (elements x) in
     Printable.get_short_list "{" "}" all_elems
@@ -234,8 +236,8 @@ struct
             ) s2 nil
       with Not_found ->
         dprintf "choose failed b/c of empty set s1: %d s2: %d"
-        (cardinal s1)
-        (cardinal s2)
+          (cardinal s1)
+          (cardinal s2)
     end
 end
 
@@ -339,8 +341,8 @@ struct
             ) s2 nil
       with Not_found ->
         dprintf "choose failed b/c of empty set s1: %d s2: %d"
-        (cardinal s1)
-        (cardinal s2)
+          (cardinal s1)
+          (cardinal s2)
     end
 end
 [@@deprecated]

src/domain/mapDomain.ml

@@ -718,8 +718,8 @@ struct
   let singleton k v = `Lifted (M.singleton k v)
   let empty () = `Lifted (M.empty ())
   let is_empty = function
-  | `Bot -> false
-  | `Lifted x -> M.is_empty x
+    | `Bot -> false
+    | `Lifted x -> M.is_empty x
   let exists f = function
     | `Bot -> raise (Fn_over_All "exists")
     | `Lifted x -> M.exists f x