From 328bae76652ea919ede3b8bdba6cbe55cde1cce6 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 7 Apr 2020 08:12:27 +0200
Subject: [PATCH] [doc] rephrase Floating_point.has_suffix doc
---
src/libraries/utils/floating_point.mli | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/libraries/utils/floating_point.mli b/src/libraries/utils/floating_point.mli
index d698d950308..11190c51425 100644
--- a/src/libraries/utils/floating_point.mli
+++ b/src/libraries/utils/floating_point.mli
@@ -70,7 +70,7 @@ type parsed_float = {
val parse: string -> Cil_types.fkind * parsed_float
(** Checks if the (uppercased) string ends with an explicit [F|D|L]
- suffix for the given float kind. *)
+ suffix corresponding to the given float kind. *)
val has_suffix: Cil_types.fkind -> string -> bool
val pretty_normal : use_hex : bool -> Format.formatter -> float -> unit
--
GitLab