This commit is contained in:
Ralf Jung 2020-05-03 17:12:50 +02:00
parent 99debecd4d
commit f7f606d9af

View File

@ -222,7 +222,7 @@ impl Session {
// We have skipped a feature gate, and not run into other errors... reject.
self.err(
"`-Zunleash-the-miri-inside-of-you` may not be used to circumvent feature \
gates, except when testing error paths in the CTFE engine"
gates, except when testing error paths in the CTFE engine",
);
}
}