From 9eb6bad54b070b47f31937fd72185f47650fdd90 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Fri, 23 Sep 2022 11:00:47 +0300
Subject: [PATCH] Fix indentation (PR #830)

---
 src/witness/yamlWitness.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/witness/yamlWitness.ml b/src/witness/yamlWitness.ml
index 97dbbf96b0..291b9fde17 100644
--- 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 ();
   }