From 8df691e5d679671e87ac3a66d8de8e6cfc99ca02 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 7 Mar 2023 09:34:04 +0100
Subject: [PATCH] [printer] lint
---
src/kernel_services/ast_printing/printer_api.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_printing/printer_api.ml b/src/kernel_services/ast_printing/printer_api.ml
index 230e0bce02e..a2419446a62 100644
--- a/src/kernel_services/ast_printing/printer_api.ml
+++ b/src/kernel_services/ast_printing/printer_api.ml
@@ -316,7 +316,7 @@ class type extensible_printer_type = object
(** Prints the recovered [while (cond)] exit condition of a loop. Note: this
method will be called in a context where 'current_stmt' is tied to the
original AST conditional statement that exits the loop, as expected. *)
-
+
method pp_keyword: Format.formatter -> string -> unit
(** All C99 keywords except types "char", "int", "long", "signed",
"short", "unsigned", "void" and "_XXX" (like "_Bool") **)
--
GitLab