Fix indentation (PR #1312)

Author: sim642

src/analyses/wrapperFunctionAnalysis.ml

@@ -131,19 +131,19 @@ module MallocWrapper : MCPSpec = struct
       CilType.Location.show loc
 
     let name_varinfo (t, node, c) =
-        let uniq_count =
-          if not (GobConfig.get_bool "dbg.full-output") && UniqueCount.is_top c then
-            Format.dprintf ""
-          else
-            Format.dprintf "(#%s)" (UniqueCount.show c)
-        in
-        let tid =
-          if not (GobConfig.get_bool "dbg.full-output") && ThreadLifted.is_top t then
-            Format.dprintf ""
-          else
-            Format.dprintf "@tid:%s%t" (ThreadLifted.show t) uniq_count
-        in
-        Format.asprintf "(alloc@sid:%s%t)" (Node.show_id node) tid
+      let uniq_count =
+        if not (GobConfig.get_bool "dbg.full-output") && UniqueCount.is_top c then
+          Format.dprintf ""
+        else
+          Format.dprintf "(#%s)" (UniqueCount.show c)
+      in
+      let tid =
+        if not (GobConfig.get_bool "dbg.full-output") && ThreadLifted.is_top t then
+          Format.dprintf ""
+        else
+          Format.dprintf "@tid:%s%t" (ThreadLifted.show t) uniq_count
+      in
+      Format.asprintf "(alloc@sid:%s%t)" (Node.show_id node) tid
   end
 
   module NodeVarinfoMap = RichVarinfo.BiVarinfoMap.Make(ThreadNode)

src/cdomain/value/cdomains/intDomain.ml

@@ -3614,8 +3614,8 @@ module IntDomTupleImpl = struct
     match to_int x with
     | Some v  when not (GobConfig.get_bool "dbg.full-output") -> Z.to_string v
     | _ -> mapp { fp = fun (type a) (module I:SOverflow with type t = a) x -> I.name () ^ ":" ^ (I.show x) } x
-              |> to_list
-              |> String.concat "; "
+           |> to_list
+           |> String.concat "; "
   let to_yojson = [%to_yojson: Yojson.Safe.t list] % to_list % mapp { fp = fun (type a) (module I:SOverflow with type t = a) x -> I.to_yojson x }
   let hash = List.fold_left (lxor) 0 % to_list % mapp { fp = fun (type a) (module I:SOverflow with type t = a) -> I.hash }