We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a8d8866 commit c4e504cCopy full SHA for c4e504c
tests/util/yamlWitnessConvert.ml
@@ -46,9 +46,9 @@ let main () =
46
47
let invariant_set: InvariantSet.t = {content = invariants} in
48
let entry': Entry.t = {
49
- metadata = {(Option.get !metadata') with format_version = "2.0"};
50
- entry_type = InvariantSet invariant_set
51
- }
+ metadata = {(Option.get !metadata') with format_version = "2.0"};
+ entry_type = InvariantSet invariant_set
+ }
52
in
53
54
let yaml' = `A [Entry.to_yaml entry'] in
0 commit comments