diff --git a/src/kernel_services/ast_queries/file.ml b/src/kernel_services/ast_queries/file.ml
index 9159303d7abd765876d7a098d2dfccaee8840ff2..6e4d220426920eadcfe4019b40c05fd048a1f590 100644
--- a/src/kernel_services/ast_queries/file.ml
+++ b/src/kernel_services/ast_queries/file.ml
@@ -572,7 +572,9 @@ let parse_cabs cpp_command = function
     if Sys.command cpp_command <> 0 then begin
       safe_remove_file ppf;
       abort_with_detailed_pp_message f cpp_command
-    end;
+    end else
+      Kernel.debug ~dkey:Kernel.dkey_pp
+        "Full preprocessing commmand: %s" cpp_command;
     let ppf =
       if Kernel.ReadAnnot.get() &&
          ((Kernel.PreprocessAnnot.is_set () &&