From fc78a9d1cdd3705ebfce723552b4b89d2b8eec2e Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 2 May 2023 18:28:16 +0200
Subject: [PATCH] [interpretation] Proper silencing of warning for debug
printing.
---
src/interpretation.ml | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/src/interpretation.ml b/src/interpretation.ml
index 673ba98..ef2ae76 100644
--- a/src/interpretation.ml
+++ b/src/interpretation.ml
@@ -98,11 +98,10 @@ let caisar_env env cwd =
cwd;
}
-let print_caisar_op fmt caisar_env =
+let print_caisar_op_of_ls fmt caisar_env =
Pp.print_iter2 Term.Hls.iter Pp.newline Pp.comma Pretty.print_ls pp_caisar_op
fmt caisar_env.caisar_op_of_ls
-
-let _ = print_caisar_op
+ [@@warning "-32"]
let const_real_of_float value =
let neg = Float.is_negative value in
@@ -414,5 +413,5 @@ let interpret_task ~cwd env task =
let task = Task.(add_prop_decl task Pgoal g f) in
(* Fmt.pr "%a : %a@.%a@." Pretty.print_pr (Task.task_goal task)
Pretty.print_term *)
- (* f print_caisar_op caisar_env; *)
+ (* f print_caisar_op_of_ls caisar_env; *)
task
--
GitLab