diff --git a/src/kernel_services/ast_queries/file.ml b/src/kernel_services/ast_queries/file.ml
index 6e4d220426920eadcfe4019b40c05fd048a1f590..489e20d633eeeebe1fd46468d8cfc982bcad6fd5 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 () &&