Fix invariant_set loop_invariant option check

goblint · Nov 9, 2023 · a933266 · a933266
1 parent d884744
commit a933266
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/witness/yamlWitness.ml b/src/witness/yamlWitness.ml
@@ -446,7 +446,7 @@ struct
 
         (* Generate loop invariants *)
         let invariants =
-          if entry_type_enabled YamlWitnessType.InvariantSet.LoopInvariant.invariant_type then (
+          if invariant_type_enabled YamlWitnessType.InvariantSet.LoopInvariant.invariant_type then (
             NH.fold (fun n local acc ->
                 let loc = Node.location n in
                 if WitnessInvariant.emit_loop_head && WitnessUtil.NH.mem WitnessInvariant.loop_heads n then (