From e41d68bfed27b93d66fbb3bdc28bba107c982ae2 Mon Sep 17 00:00:00 2001 From: Jeremy Yallop Date: Sat, 7 Dec 2024 16:10:26 +0000 Subject: [PATCH] Install_integer_printers: use OCaml 4.03-compatible API --- top/install_integer_printers.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/top/install_integer_printers.ml b/top/install_integer_printers.ml index 0a29f39..ddc7ce4 100644 --- a/top/install_integer_printers.ml +++ b/top/install_integer_printers.ml @@ -26,7 +26,7 @@ let install_printer printer = end let is_utop () = - Option.is_some (Toploop.get_directive "utop_help") + Hashtbl.mem Toploop.directive_table "utop_help" let () = (* Preload the toplevel environment and integers library if we are in utop.