Fix old indentation in YamlWitness

goblint · Nov 27, 2023 · 0e64a8f · 0e64a8f
1 parent d5163c9
commit 0e64a8f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/witness/yamlWitness.ml b/src/witness/yamlWitness.ml
@@ -136,9 +136,9 @@ struct
 
   let precondition_loop_invariant_certificate ~target ~(certification): Entry.t = {
     entry_type = PreconditionLoopInvariantCertificate {
-      target;
-      certification;
-    };
+        target;
+        certification;
+      };
     metadata = metadata ();
   }
 end