From 8a9ef8d9bef878dac95333ea23a4187faafc1357 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Thu, 26 Aug 2021 12:28:35 +0200 Subject: [PATCH] [variadic] syntax linting --- src/plugins/variadic/standard.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plugins/variadic/standard.ml b/src/plugins/variadic/standard.ml index 40129fbf0b8..ecc9a7d9600 100644 --- a/src/plugins/variadic/standard.ml +++ b/src/plugins/variadic/standard.ml @@ -635,7 +635,7 @@ let format_of_ikind = function let format_of_fkind k = function | FFloat -> None, `f | FDouble -> - (match k with + (match k with | Format_types.PrintfLike -> None, `f | ScanfLike -> Some `l, `f) | FLongDouble -> Some `L, `f -- GitLab