From 281412bfecd0b2df45c16b43db6d0f1230f8126b Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 18 Sep 2024 14:26:34 +0200
Subject: [PATCH] [kernel] fix typo in message
---
src/kernel_services/ast_queries/file.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_queries/file.ml b/src/kernel_services/ast_queries/file.ml
index 6e4d220426..489e20d633 100644
--- a/src/kernel_services/ast_queries/file.ml
+++ b/src/kernel_services/ast_queries/file.ml
@@ -574,7 +574,7 @@ let parse_cabs cpp_command = function
abort_with_detailed_pp_message f cpp_command
end else
Kernel.debug ~dkey:Kernel.dkey_pp
- "Full preprocessing commmand: %s" cpp_command;
+ "Full preprocessing command: %s" cpp_command;
let ppf =
if Kernel.ReadAnnot.get() &&
((Kernel.PreprocessAnnot.is_set () &&
--
GitLab