From 7cee42846092c1a71242f327b3af4bff29719254 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 15 Mar 2022 10:57:34 +0100
Subject: [PATCH] [kernel] Ast diff: fixes the comparison of binop terms.
---
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 e8173fb6c8e..ce895a7c9d6 100644
--- a/src/kernel_services/ast_queries/ast_diff.ml
+++ b/src/kernel_services/ast_queries/ast_diff.ml
@@ -568,7 +568,7 @@ and is_same_term_node t t' env =
| TSizeOfStr s, TSizeOfStr s' -> String.length s = String.length s'
| TUnOp(op,t), TUnOp(op',t') -> Unop.equal op op' && is_same_term t t' env
| TBinOp(op,t1,t2), TBinOp(op',t1',t2') ->
- Binop.equal op op' && is_same_term t1 t2 env && is_same_term t1' t2' env
+ Binop.equal op op' && is_same_term t1 t1' env && is_same_term t2 t2' env
| TCastE(typ,term), TCastE(typ',term') ->
is_same_type typ typ' env && is_same_term term term' env
| TAddrOf lv, TAddrOf lv'
--
GitLab