Install_integer_printers: use OCaml 4.03-compatible API

yallop · Dec 7, 2024 · e41d68b · e41d68b
1 parent b38b455
commit e41d68b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.