From ffd601f1e79f0482ad9ca0e64befce3efc09715c Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 19 Sep 2019 18:45:08 +0200
Subject: [PATCH] lint
---
src/kernel_services/ast_printing/printer_api.mli | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/src/kernel_services/ast_printing/printer_api.mli b/src/kernel_services/ast_printing/printer_api.mli
index 8e0ddd1fd75..a09665c4365 100644
--- a/src/kernel_services/ast_printing/printer_api.mli
+++ b/src/kernel_services/ast_printing/printer_api.mli
@@ -86,11 +86,11 @@ class type extensible_printer_type = object
(unit -> unit)
-> unit
(** Open a ghost context if the the first [bool] is true and we are not
- already in a ghost context. [post_fmt] is a format like ["%t"] and is used
- to define the format at the end of the ghost context. [block] indicates
- whether we should open a C block or not (defaults to [true]). The last
- parameter is the function to be applied in the ghost context (generally
- some AST element).
+ already in a ghost context. [post_fmt] is a format like ["%t"] and is used
+ to define the format at the end of the ghost context. [block] indicates
+ whether we should open a C block or not (defaults to [true]). The last
+ parameter is the function to be applied in the ghost context (generally
+ some AST element).
@since 19.0-Potassium+dev *)
--
GitLab