summaryrefslogtreecommitdiff
path: root/src/CfimOfJson.ml
diff options
context:
space:
mode:
authorSon Ho2022-02-22 17:55:46 +0100
committerSon Ho2022-02-22 17:55:46 +0100
commit279d7ef00d5322f8b04b729c0c6e32f03789a387 (patch)
treeddf31374c504adc00f7acc5b33ed3c6f3d1b1527 /src/CfimOfJson.ml
parent1fa2f2812215da74cb793dc63d621a8d15c55523 (diff)
Add support for "fused" match branches
Diffstat (limited to 'src/CfimOfJson.ml')
-rw-r--r--src/CfimOfJson.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CfimOfJson.ml b/src/CfimOfJson.ml
index 9ac0a974..f91f7b05 100644
--- a/src/CfimOfJson.ml
+++ b/src/CfimOfJson.ml
@@ -586,7 +586,7 @@ and switch_targets_of_json (js : json) : (A.switch_targets, string) result =
let* int_ty = integer_type_of_json int_ty in
let* tgts =
list_of_json
- (pair_of_json scalar_value_of_json statement_of_json)
+ (pair_of_json (list_of_json scalar_value_of_json) statement_of_json)
tgts
in
let* otherwise = statement_of_json otherwise in