Fix indentation (PR #830)

goblint · Sep 23, 2022 · 9eb6bad · 9eb6bad
1 parent 5bfca05
commit 9eb6bad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/witness/yamlWitness.ml b/src/witness/yamlWitness.ml
@@ -66,7 +66,7 @@ struct
   (* non-standard extension *)
   let flow_insensitive_invariant ~task ~(invariant): Entry.t = {
     entry_type = FlowInsensitiveInvariant {
-      flow_insensitive_invariant = invariant;
+        flow_insensitive_invariant = invariant;
       };
     metadata = metadata ~task ();
   }