diff --git a/src/plugins/variadic/standard.ml b/src/plugins/variadic/standard.ml index 40129fbf0b8d16211370b348ebb116ee24dc1d04..ecc9a7d96005b7c5bb8408a0243847f50b9006d2 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