From d89adc67dabe858ef1de35a289d36c51bac37714 Mon Sep 17 00:00:00 2001 From: ยท๐‘‘๐‘ด๐‘•๐‘‘๐‘ฉ๐‘ค Date: Thu, 11 Dec 2025 08:08:46 +0000 Subject: drop unused err --- lib/kdl_lens_result.ml | 2 -- 1 file changed, 2 deletions(-) (limited to 'lib/kdl_lens_result.ml') diff --git a/lib/kdl_lens_result.ml b/lib/kdl_lens_result.ml index 3455f38..9ead98e 100644 --- a/lib/kdl_lens_result.ml +++ b/lib/kdl_lens_result.ml @@ -15,7 +15,6 @@ type lerr = [ | `Cannot_each | `Cannot_replace | `Missing_annot - | `Missing_arg of string | `Missing_index of int | `Missing_prop of string | `Missing_top @@ -38,7 +37,6 @@ let pp_lerr fmt = function | `Cannot_each -> Fmt.pf fmt "Cannot each" | `Cannot_replace -> Fmt.pf fmt "Cannot replace" | `Missing_annot -> Fmt.pf fmt "Missing annotation" - | `Missing_arg arg -> Fmt.pf fmt "Missing argument โ€œ%sโ€" arg | `Missing_prop prop -> Fmt.pf fmt "Missing property โ€œ%sโ€" prop | `Missing_index idx -> Fmt.pf fmt "Missing index โ€œ%dโ€" idx | `Missing_top -> Fmt.pf fmt "Missing top-level node" -- cgit v1.2.3