diff --git a/src/kernel_services/ast_printing/printer_api.ml b/src/kernel_services/ast_printing/printer_api.ml
index 230e0bce02e2d3d40acd5546890ccc138b014ec0..a2419446a6213020bb3faa8bbac10e320e46a275 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") **)