Fix indentation (PR #752)

Author: sim642

src/witness/witnessUtil.ml

@@ -178,8 +178,8 @@ struct
 
   let add (file_loc_es: t) (loc: Cil.location) (e: E.t): unit =
     FileH.modify_def LocM.empty loc.file (
-        LocM.modify_def ES.empty loc (ES.add e)
-      ) file_loc_es
+      LocM.modify_def ES.empty loc (ES.add e)
+    ) file_loc_es
 
   let find_opt (file_loc_es: t) (loc: Cil.location): ES.t option =
     let (let*) = Option.bind in (* TODO: move to general library *)

src/witness/yamlWitness.ml

@@ -56,19 +56,19 @@ struct
 
   let loop_invariant ~task ~location ~(invariant): Entry.t = {
     entry_type = LoopInvariant {
-      location;
-      loop_invariant = invariant;
-    };
+        location;
+        loop_invariant = invariant;
+      };
     metadata = metadata ~task ();
   }
 
   (* non-standard extension *)
   let precondition_loop_invariant ~task ~location ~precondition ~(invariant): Entry.t = {
     entry_type = PreconditionLoopInvariant {
-      location;
-      loop_invariant = invariant;
-      precondition;
-    };
+        location;
+        loop_invariant = invariant;
+        precondition;
+      };
     metadata = metadata ~task ();
   }
 
@@ -86,9 +86,9 @@ struct
 
   let loop_invariant_certificate ~target ~(certification): Entry.t = {
     entry_type = LoopInvariantCertificate {
-      target;
-      certification;
-    };
+        target;
+        certification;
+      };
     metadata = metadata ();
   }
 

src/witness/yamlWitnessType.ml

@@ -318,8 +318,8 @@ struct
 
   let to_yaml {entry_type; metadata} =
     `O ([
-      ("entry_type", `String (EntryType.entry_type entry_type));
-      ("metadata", Metadata.to_yaml metadata);
+        ("entry_type", `String (EntryType.entry_type entry_type));
+        ("metadata", Metadata.to_yaml metadata);
       ] @ EntryType.to_yaml' entry_type)
 
   let of_yaml y =