Move a comment. · model-checking/verify-rust-std@db0222e

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

671671

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

672672

mod backtrace_rs;

673673674-

// Re-export macros defined in core.

675674

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

676675

pub use core::cfg_match;

677676

#[unstable(

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

690689

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

691690

module_path, option_env, stringify, trace_macros,

692691

};

692+

// Re-export macros defined in core.

693693

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

694694

#[allow(deprecated, deprecated_in_future)]

695695

pub use core::{