Move a comment. · model-checking/verify-rust-std@db0222e (original) (raw)

`@@ -671,7 +671,6 @@ mod panicking;

`

671

671

`#[allow(dead_code, unused_attributes, fuzzy_provenance_casts, unsafe_op_in_unsafe_fn)]

`

672

672

`mod backtrace_rs;

`

673

673

``

674

``

`-

// Re-export macros defined in core.

`

675

674

`#[unstable(feature = "cfg_match", issue = "115585")]

`

676

675

`pub use core::cfg_match;

`

677

676

`#[unstable(

`

`@@ -690,6 +689,7 @@ pub use core::{

`

690

689

` env, file, format_args, format_args_nl, include, include_bytes, include_str, line, log_syntax,

`

691

690

` module_path, option_env, stringify, trace_macros,

`

692

691

`};

`

``

692

`+

// Re-export macros defined in core.

`

693

693

`#[stable(feature = "rust1", since = "1.0.0")]

`

694

694

`#[allow(deprecated, deprecated_in_future)]

`

695

695

`pub use core::{

`