From e96067cd9b655c412bd935aab23697ff28b05a7e Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 4 Mar 2020 09:10:32 +0100
Subject: [PATCH] fix indentation
---
src/kernel_services/ast_queries/cil.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_queries/cil.ml b/src/kernel_services/ast_queries/cil.ml
index aa61b8bc865..ef7e44c7b89 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
--
GitLab