From 35a11f7b2bb84032d2cd1a8177474f29b9e145c1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 27 Apr 2022 14:43:04 +0200
Subject: [PATCH] [kernel] Ast_diff: fixes a typo in a comparison function.

---
 src/kernel_services/ast_queries/ast_diff.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel_services/ast_queries/ast_diff.ml b/src/kernel_services/ast_queries/ast_diff.ml
index e3c02629f07..65e1ce8eb79 100644
--- a/src/kernel_services/ast_queries/ast_diff.ml
+++ b/src/kernel_services/ast_queries/ast_diff.ml
@@ -106,7 +106,7 @@ let compare_pc pc1 pc2 =
   | `Body_changed, `Body_changed -> 0
   | `Body_changed, _ -> -1
   | _, `Body_changed -> 1
-  | `Callees_changed, `Callees_changed -> -1
+  | `Callees_changed, `Callees_changed -> 0
   | `Callees_changed, _ -> -1
   | _, `Callees_changed -> 1
   | `Callees_spec_changed, `Callees_spec_changed -> 0
-- 
GitLab