From abe63e6907843943f998e1fbd42215fb99fd09ee Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 27 Aug 2020 14:59:25 +0200
Subject: [PATCH] fix indentation
---
src/kernel_services/ast_queries/cil.ml | 6 +++---
src/kernel_services/ast_queries/cil.mli | 6 +++---
2 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/src/kernel_services/ast_queries/cil.ml b/src/kernel_services/ast_queries/cil.ml
index c8bfefe2bac..6448005f8a5 100644
--- a/src/kernel_services/ast_queries/cil.ml
+++ b/src/kernel_services/ast_queries/cil.ml
@@ -6197,9 +6197,9 @@ let mkBinOp ~loc op e1 e2 =
(Mult|Div) -> doArithmetic ()
| (Mod|BAnd|BOr|BXor) -> doIntegralArithmetic ()
| LAnd | LOr ->
- check_scalar "logical operator" e1 t1;
- check_scalar "logical operator" e2 t2;
- constFoldBinOp ~loc machdep op e1 e2 intType
+ check_scalar "logical operator" e1 t1;
+ check_scalar "logical operator" e2 t2;
+ constFoldBinOp ~loc machdep op e1 e2 intType
| (Shiftlt|Shiftrt) -> (* ISO 6.5.7. Only integral promotions. The result
* has the same type as the left hand side *)
if msvcMode () then
diff --git a/src/kernel_services/ast_queries/cil.mli b/src/kernel_services/ast_queries/cil.mli
index b0dcdc46c5e..64a5b55a779 100644
--- a/src/kernel_services/ast_queries/cil.mli
+++ b/src/kernel_services/ast_queries/cil.mli
@@ -548,13 +548,13 @@ val isArithmeticType: typ -> bool
(** True if the argument is a scalar type (i.e. integral, enum,
floating point or pointer
- @since Frama-C+dev
- *)
+ @since Frama-C+dev
+*)
val isScalarType: typ -> bool
(** alias of isScalarType.
@deprecated Frama-C+dev use isScalarType instead
- *)
+*)
val isArithmeticOrPointerType: typ -> bool
(** True if the argument is a logic arithmetic type (i.e. integer, enum or
--
GitLab