diff --git a/stdlib/StdlibModules b/stdlib/StdlibModules index a3c30d20819..08749ca57f2 100644 --- a/stdlib/StdlibModules +++ b/stdlib/StdlibModules @@ -62,10 +62,10 @@ STDLIB_MODULE_BASENAMES = \ float_u \ int32 \ int32_u \ - int64 \ - int64_u \ nativeint \ nativeint_u \ + int64 \ + int64_u \ lexing \ parsing \ set \