From ce61a7a77a8c0cacbd196434667cab0451362ed6 Mon Sep 17 00:00:00 2001 From: Swrup Date: Thu, 18 Jul 2024 10:36:27 +0200 Subject: [PATCH] create_geojson need a json object --- src/layer.ml | 2 +- src/layer.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/layer.ml b/src/layer.ml index 8475a90..69b0f7d 100644 --- a/src/layer.ml +++ b/src/layer.ml @@ -110,7 +110,7 @@ let geojson_opt_to_jv = function | Filter f -> Jv.repr f | Coords_to_latlng f -> Jv.repr f -let create_geojson : Jv.t -> geojson_opt array -> [ `Geojson ] t = +let create_geojson : Brr.Json.t -> geojson_opt array -> [ `Geojson ] t = fun geojson options -> let l = Array.map (fun o -> (geojson_opt_to_string o, geojson_opt_to_jv o)) options diff --git a/src/layer.mli b/src/layer.mli index b2da3ae..e01be64 100644 --- a/src/layer.mli +++ b/src/layer.mli @@ -62,7 +62,7 @@ type geojson_opt = | Markers_inherit_options of bool (** [create_geojson geojson] is a new geojson layer *) -val create_geojson : Jv.t -> geojson_opt array -> [ `Geojson ] t +val create_geojson : Brr.Json.t -> geojson_opt array -> [ `Geojson ] t (** Tile layers *)