diff --git a/src/kernel_services/ast_queries/cil.ml b/src/kernel_services/ast_queries/cil.ml
index aa61b8bc8651c102f6c1ce718bdc725254e4d509..ef7e44c7b89ede003c9d485b7a5b6c544351af5a 100644
--- a/src/kernel_services/ast_queries/cil.ml
+++ b/src/kernel_services/ast_queries/cil.ml
@@ -4502,7 +4502,7 @@ and constFold (machdep: bool) (e: exp) : exp =
         begin
           (* If the cast has attributes, leave it alone. *)
           Kernel.debug ~dkey "ConstFold to %a : %a@."
-              !pp_ikind_ref nk Datatype.Integer.pretty i;
+            !pp_ikind_ref nk Datatype.Integer.pretty i;
           (* Downcasts might truncate silently *)
           kinteger64 ~loc ~kind:nk i
         end