From 4339b01658594dee946d7016f84fc6d26de80c5e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 29 Apr 2022 10:19:27 +0200
Subject: [PATCH] [kernel] Ast_diff: removes debug print.
---
src/kernel_services/ast_queries/ast_diff.ml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/kernel_services/ast_queries/ast_diff.ml b/src/kernel_services/ast_queries/ast_diff.ml
index 42abb7d9e04..51f028f4f52 100644
--- a/src/kernel_services/ast_queries/ast_diff.ml
+++ b/src/kernel_services/ast_queries/ast_diff.ml
@@ -1227,9 +1227,8 @@ and logic_vars_env l l' env =
and find_candidate_logic_var ?loc:_loc lv env =
let candidates = Logic_env.find_all_logic_functions lv.lv_name in
match List.find_opt (fun li -> li.l_profile = []) candidates with
- | None -> Format.printf "No such var@."; None
+ | None -> None
| Some li ->
- Format.printf "Found something@.";
if is_same_logic_var lv li.l_var_info env then
Some li.l_var_info
else None
--
GitLab