diff options
Diffstat (limited to 'src/CfimOfJson.ml')
| -rw-r--r-- | src/CfimOfJson.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CfimOfJson.ml b/src/CfimOfJson.ml index a1d5faaa..c7bc4ce8 100644 --- a/src/CfimOfJson.ml +++ b/src/CfimOfJson.ml @@ -366,7 +366,7 @@ let rec operand_constant_value_of_json (js : json) : (E.operand_constant_value, string) result = combine_error_msgs js "operand_constant_value_of_json" (match js with - | `Assoc [ ("ConstantValue", cv) ] -> + | `Assoc [ ("ConstantValue", `List [ cv ]) ] -> let* cv = constant_value_of_json cv in Ok (E.ConstantValue cv) | `Assoc [ ("ConstantAdt", `List [ variant_id; field_values ]) ] -> |