diff --git a/src/util/jsonSchema.ml b/src/util/jsonSchema.ml index d0b4c1cc86..afbe4f6548 100644 --- a/src/util/jsonSchema.ml +++ b/src/util/jsonSchema.ml @@ -48,7 +48,6 @@ let encoding_of_schema (schema: Json_schema.schema): unit Json_encoding.encoding let root = Json_schema.root schema in Json_encoding.mu "" (fun top -> encoding_of_schema_element top root) -open Json_encoding open Json_schema let rec element_defaults (element: element): Yojson.Safe.t = diff --git a/src/util/options.ml b/src/util/options.ml index 261e36dbfa..4fceda216e 100644 --- a/src/util/options.ml +++ b/src/util/options.ml @@ -1,4 +1,3 @@ -open Json_encoding open Json_schema