diff --git a/src/kernel_services/ast_queries/ast_diff.ml b/src/kernel_services/ast_queries/ast_diff.ml
index e3c02629f072f9dedc2d028ac048e209e76c18dc..65e1ce8eb79ba4339f007969925269075ea39c63 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