New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Core_kernel deprecated #845

Open

jmikedupont2 opened this issue Aug 16, 2024 · 0 comments

jmikedupont2 commented Aug 16, 2024

File "tuple_lib/intf.ml", line 1, characters 5-16:
1 | open Core_kernel
         ^^^^^^^^^^^
Error (alert deprecated): module Core_kernel                                                                  
         [since 2021-05] Use [Core] -- [Core_kernel] was renamed as [Core]```

The text was updated successfully, but these errors were encountered:

# for free to join this conversation on GitHub. Already have an account? # to comment