From bcd9036fa82871d1cac436ce93a53864449d45ac Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 6 Jan 2022 15:32:16 +0100
Subject: [PATCH] fix indentation
---
src/kernel_services/ast_queries/ast_diff.ml | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/kernel_services/ast_queries/ast_diff.ml b/src/kernel_services/ast_queries/ast_diff.ml
index 965b33c100e..1eedd3ec67e 100644
--- a/src/kernel_services/ast_queries/ast_diff.ml
+++ b/src/kernel_services/ast_queries/ast_diff.ml
@@ -228,8 +228,8 @@ let rec is_same_type t t' =
| TNamed(t,a), TNamed(t',a') ->
let correspondance = typeinfo_correspondance t in
(match correspondance with
- | `Not_present -> false
- | `Same t'' -> Cil_datatype.Typeinfo.equal t' t'') &&
+ | `Not_present -> false
+ | `Same t'' -> Cil_datatype.Typeinfo.equal t' t'') &&
Cil_datatype.Attributes.equal a a'
| TComp(c,a), TComp(c', a') ->
let correspondance = compinfo_correspondance c in
@@ -319,6 +319,8 @@ let global_correspondance g =
ignore (enuminfo_correspondance ~loc ei)
| GVar(vi,_,loc) | GVarDecl(vi,loc) ->
ignore (gvar_correspondance ~loc vi)
+ | GFunDecl(_,_vi,_loc) -> ()
+ | GFun(_f,_loc) -> ()
| _ -> ()
let compare_ast prj =
--
GitLab