diff options
Diffstat (limited to 'src/LlbcOfJson.ml')
-rw-r--r-- | src/LlbcOfJson.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/LlbcOfJson.ml b/src/LlbcOfJson.ml index 93ba7696..19ffc279 100644 --- a/src/LlbcOfJson.ml +++ b/src/LlbcOfJson.ml @@ -178,6 +178,7 @@ let type_decl_kind_of_json (js : json) : (T.type_decl_kind, string) result = | `Assoc [ ("Enum", variants) ] -> let* variants = list_of_json variant_of_json variants in Ok (T.Enum variants) + | `String "Opaque" -> Ok T.Opaque | _ -> Error "") let region_var_group_of_json (js : json) : (T.region_var_group, string) result = |