diff --git a/src/interpretation.ml b/src/interpretation.ml
index 673ba9876f55abc3278561bf2945bb509e8130dd..ef2ae7639af72590dab3e9f3a0a683db2678d427 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